Bruno Desthuilliers skrev: > Paul Rubin a écrit : >> Bruno Desthuilliers <[EMAIL PROTECTED]> 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 -- http://mail.python.org/mailman/listinfo/python-list