Encapsulation, inheritance and polymorphism

[Paul Rudin]

Steven D'Aprano <steve+comp.lang.python at 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)>