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

[Jesse Schalken]

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

>
> On 20/12/2011, at 6:06 PM, Roman Cheplyaka wrote:
>
> > * 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"?
>
> 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20111220/a672dc32/attachment.htm>