On Tue, Dec 20, 2011 at 8:46 PM, Ben Lippmeier <benl@ouroborus.net> wrote:

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

> 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.