optional types

[Kiuhnm]

On Wednesday, October 29, 2014 8:45:08 PM UTC+1, Marko Rauhamaa wrote:
> Mark Lawrence <breamoreboy at yahoo.co.uk>:
> 
> > Regarding 2) Python has somehow managed without optional types for
> > over 20 years so it's my belief that they're not the panacea that so
> > many people think they are. Sure if they get implemented and if they
> > improve Python then I'm all for them, but I'm not holding my breath.
> 
> I'm afraid of stylistic chaos and optional types turning into de-facto
> mandatory types as modules interface each other.

The only problem I see is that Python's type system might become too complex (Scala anyone???)
If you start adding covariance, contravariance, F-bounded types, etc..., the type system becomes more of a hindrance, IMHO.
But if you keep it simple (like Dart) it shouldn't get in your way.