Python from Wise Guy's Viewpoint

[Remi Vanicat]

Fergus Henderson <fjh at cs.mu.oz.au> writes:

> 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?

I've no link but I'm sure to have seen (here or on one of the caml
list) people trying to do polymorphic recursion, something that is not
easy to do in ocaml...

-- 
Rémi Vanicat