Python and generic programming

[Alex Martelli]

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