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

Neil Mitchell ndmitchell at gmail.com
Sun Sep 23 05:38:31 EDT 2007


> 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.



More information about the Haskell-Cafe mailing list