Understanding strictness of ghc output

Carsten Schultz carsten at codimi.de
Tue Jun 22 10:44:36 EDT 2004

On Tue, Jun 22, 2004 at 03:37:01PM +0100, Simon Marlow wrote:
> If there's a Haskell implementation that compiles addHeight in such a
> way that addHeight _|_ e  /=  _|_, then I'd say it was wrong (but we
> don't have an official denotational semantics for Haskell, only an
> informal agreement ;-).

As long as the implementation would not do anything very fishy to
produce a non-monotonic function, if  addHeight _|_ e = m  for some
integer m, then  addHeight n e  would have to be  m  for all  n, and I
would agree very much that this is wrong :-)



P.S.:  Is there a special reason for the Simons on this list not to
       produce messages with proper References headers?  *duck*

Carsten Schultz (2:38, 33:47), FB Mathematik, FU Berlin
PGP/GPG key on the pgp.net key servers, 
fingerprint on my home page.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: not available
Url : http://www.haskell.org//pipermail/glasgow-haskell-users/attachments/20040622/8d734164/attachment.bin

More information about the Glasgow-haskell-users mailing list