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

MigMit miguelimo38 at yandex.ru
Tue Dec 20 11:52:45 CET 2011



Отправлено с iPhone

Dec 20, 2011, в 14:40, Jesse Schalken <jesseschalken at gmail.com> написал(а):

> 
> 
> On Tue, Dec 20, 2011 at 9:34 PM, Gregory Crosswhite <gcrosswhite at gmail.com> wrote:
> 
> 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?
> 
> Definitely.
> 
> If you think a value might not reduce, return an error in an error monad. Then the caller is forced to handle the case of an error, or propagate the error upwards. The error can also be handled in pure code this way, whereas bottom can only be handled within the IO monad.
> 

So... this imaginary language of yours would be able to solve the halting problem?

> 
> Cheers,
> Greg
> 
> _______________________________________________
> 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/58376d74/attachment.htm>


More information about the Haskell-Cafe mailing list