
2 Sep
2009
2 Sep
'09
11:54 a.m.
Is it possible to implement in haskell a function f (A) such that if A does not ever terminate then f always terminates, and if A always terminates then f does not ever terminate?
Is the argument A itself another function? If so, such a function does not exist. See http://en.wikipedia.org/wiki/Halting_problem for more details. Rahul