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

Gregory Crosswhite gcrosswhite at gmail.com
Tue Dec 20 11:34:36 CET 2011


On Dec 20, 2011, at 8:30 PM, Jesse Schalken wrote:

> 
> 
> 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:
> 
> > 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20111220/d22fcd48/attachment.htm>


More information about the Haskell-Cafe mailing list