peterv wrote:
with guaranteed termination, of course
Just out of curiosity (not Haskell related): I always get confused when
people speak about "guaranteed termination"; what about the halting problem?
In which context can one check for "guaranteed termination", as the halting
problem says it's not *generally* possible?
Presumably by limiting what you're allowed to do in such a way that it
will always terminate... nothing more, nothing less.
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
