[Haskell-cafe] Newbie question about tuples

Jules Bean jules at jellybean.co.uk
Fri Jul 13 11:18:14 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? 

The simplest answer to that is 'rule out recursion'.

Mind you, that rules out an awful lot of important programs.

There are better answers involving restricting the kind of recursion you 

Google for 'total programming' and also for 'epigram'.


More information about the Haskell-Cafe mailing list