Python from Wise Guy's Viewpoint

[Fergus Henderson]

Lulu of the Lotus-Eaters <mertz at gnosis.cx> writes:

>Joachim Durchholz <joachim.durchholz at web.de> writes:
>>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 also read c.l.functional (albeit only lightly).  In the last 12
>months, I have encountered dozens of complaints about over-restrictive
>type sytems in Haskell, OCaml, SML, etc.
>
>The trick is that these complaints are not phrased in precisely that
>way.  Rather, someone is trying to do some specific task, and has
>difficulty arriving at a usable type needed in the task.  Often posters
>provide good answers--Durchholz included.  But the underlying complaint
>-really was- about the restrictiveness of the type system.

Could you provide a link to an example of such a post?

In my experience, people who have difficulties in getting their programs
to typecheck usually have an inconsistent design, not a design which is
consistent but which the type checker is too restrictive to support.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.