Encapsulation, inheritance and polymorphism
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.
More information about the Python-list