Comment by pansa2
> two mature type checkers
I’ve never quite understood how this works. Surely a type system is absolutely fundamental to a language - how can you have multiple incompatible ones?
Do you need to choose a particular type checker for each project? Are you limited to only using third-party libraries that use the same type checker?
I think Python was successful because it started off without a type system and you can still choose not to use it. Duck typing is the big feature really.
It might float your boat to think about types but why would everyone have to want the same thing?