[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