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

Roman Cheplyaka roma at ro-che.info
Tue Dec 20 08:06:44 CET 2011


* 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"?

-- 
Roman I. Cheplyaka :: http://ro-che.info/



More information about the Haskell-Cafe mailing list