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: > > > * Alexander Solla <alex.so...@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. > This ×1000. Errors go in an error monad. > Ben. > > > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe >
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
