Python from Wise Guy's Viewpoint

[Pascal Costanza]

Joachim Durchholz wrote:

> Most functional languages with a static type system don't require that 
> the programmer writes down the types, they are inferred from usage. And 
> the type checker will complain as soon as the usage of some data item is 
> inconsistent.

I know about type inference. The set of programs that can be checked 
with type inference is still a subset of all useful programs.

> My 100% subjective private study reveals not a single complaint about 
> over-restrictive type systems in comp.lang.functional in the last 12 
> months.

I am not surprised. :)


Pascal