Python and generic programming

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


Oliver Fromme <olli at haluter.fromme.com> 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.


Alex



More information about the Python-list mailing list