Steven D'Aprano <[email protected]> writes: > For example, both ML and Haskell can, under some circumstances, report a > type-error for an infinite loop, *at compile time*.
... and in Charity all programs are guaranteed to terminate. Of course it's not Turing complete. <http://en.wikipedia.org/wiki/Charity_(programming_language)> -- http://mail.python.org/mailman/listinfo/python-list
