Re: [Haskell-cafe] If you'd design a Haskell-like language, what would you do different?

On Tue, Dec 20, 2011 at 8:46 PM, Ben Lippmeier wrote:

On 20/12/2011, at 6:06 PM, Roman Cheplyaka wrote:

...

* Alexander Solla [2011-12-19 19:10:32-0800]

...

* Documentation that discourages thinking about bottom as a 'value'. It's not a value, and that is what defines it.

In denotational semantics, every well-formed term in the language must have a value. So, what is a value of "fix id"?

There isn't one!

Bottoms will be the null pointers of the 2010's, you watch.

This ×1000. Errors go in an error monad.

Ben.

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe