[Haskell-beginners] function - argument termination problem

Rahul Kapoor rk at trie.org
Wed Sep 2 11:54:30 EDT 2009


> 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


More information about the Beginners mailing list