Python and generic programming

[Roman Suzi]

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 onego.ru =\= My AI powered by GNU/Linux RedHat 7.3