Python and generic programming

[Roman Suzi]

On Fri, 22 Oct 2004, Hans Nowak wrote:

>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.
>
>OCaml is statically typed.  This from http://caml.inria.fr/ercim.html:

It is. But nonetheless it is very flexible wrt types.


>
>--Hans
>
>

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