Python and generic programming

Alex Martelli aleaxit at
Fri Oct 22 20:10:53 CEST 2004

Oliver Fromme <olli at> wrote:
> If there was a programming language with Python-like syntax
> and library, dynamically typed, and type-checked at compile-
> time, I'd run over to it immediately.  :-)

Points 2 and 3 are contradictory.  If you want one which, like ML of all
kinds, is _statically_ typed (without necessarily needing declarations,
but able to type-inference), look at Boo.


More information about the Python-list mailing list