PEP 3107 and stronger typing (note: probably a newbie question)

[Nis Jørgensen]

Bruno Desthuilliers skrev:
> Paul Rubin a écrit :
>> Bruno Desthuilliers <bdesth.quelquechose at free.quelquepart.fr> writes:
>>
>>> Haskell - as other languages using type-inference like OCaml - are in
>>> a different category. Yes, I know, don't say it, they are statically
>>> typed - but it's mostly structural typing, not declarative
>>> typing. Which makes them much more usable IMHO. 
>>
>>
>> Some users in fact recommend writing an explicit type signature for
>> every Haskell function, which functions sort of like a unit test.
> 
> Stop here. explicit type signature == declarative static typing != unit
> test.

Well, it quacks like a duck ...

Nis