Python and generic programming

Roman Suzi rnd at
Fri Oct 22 19:58:50 CEST 2004

On Fri, 22 Oct 2004, Oliver Fromme wrote:

>Type checking at compile time does _not_ necessarily require
>static typing.
>For a counter example, look at O'Caml.  It is a dynamically
>typed functional language (using type inference, pattern
>matchingetc.) with compile-time type checking.
>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.  :-)

Efficiently compiled Python is my dream too. Probably it's a matter of a
decade for such language to appear.

>Best regards
>   Oliver

Sincerely yours, Roman Suzi
rnd at =\= My AI powered by GNU/Linux RedHat 7.3

More information about the Python-list mailing list