[Haskell-cafe] Newbie question about tuples

Andrew Coppin andrewcoppin at btinternet.com
Fri Jul 13 16:03:23 EDT 2007


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.



More information about the Haskell-Cafe mailing list