Encapsulation, inheritance and polymorphism

Paul Rudin paul.nospam at rudin.co.uk
Thu Jul 19 19:22:15 CEST 2012


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)>



More information about the Python-list mailing list