[Types-sig] Type annotations

[Martijn Faassen]

Paul Prescod wrote:
> 
> I no longer find the compatibility benefits of 5 to be worth the
> obfuscation if we are really going to move into supporting parametric
> polymorphism and the rest. It just gets too hairy.

Oh, cool, yet another, slightly different objection. :)

I disagree that it gets too hairy. I'm advocating using Python
*precisely* because of the complex types. Python expressions can deal
with that kind of complexity right now. What's all this obsession with
syntax early on about anyway? It only distracts us from the real topic,
in my opinion..

Regards,

Martijn