> I think a language in Python's niche that was created today would have a simple type system with extensive inference How do you think a “simple type system”,

> I think a language in Python's niche that was created today would have a simple type system with extensive inference How do you think a “simple type system”, suitable for a Python-like language, would look? The type systems that have been developed for Python itself, for example MyPy, are far from simple.