[Haskell-cafe] what is f=f (not) doing ?

Lennart Augustsson lennart at augustsson.net
Sun Sep 23 06:05:46 EDT 2007

I agree.  This situation is totally detectable.

On 9/23/07, Neil Mitchell <ndmitchell at gmail.com> wrote:
> Hi
> > I'm not sure, but since it would require the detection of an evaluation
> > that does not terminate,  it comes down to the halting problem, which is
> > not generally solvable. Maybe the experts can confirm my intuition?
> I think your intuition is off. This isn't the problem of detecting
> that a computation might not halt, its a question of detecting after
> the fact a very restricted case of non-termination has occurred. I
> think it should be possible to assign threads etc to these things, but
> may make the code run slower in the common case.
> Thanks
> Neil
> _______________________________________________
> 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/20070923/b63f94fe/attachment-0001.htm

More information about the Haskell-Cafe mailing list