Steven D'Aprano <steve+comp.lang.pyt...@pearwood.info> 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
