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

[Ben Lippmeier]

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

> * Alexander Solla <alex.solla at gmail.com> [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.
 
Ben.