On Dec 20, 2011, at 8:30 PM, Jesse Schalken wrote:
>
>
> On Tue, Dec 20, 2011 at 8:46 PM, Ben Lippmeier <b...@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.
Including all possible manifestations of infinite loops?
Cheers,
Greg
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
