the specs are still evolving, and the various type checker implementations are what is driving them forward. in general, capturing the dynamic typing semantics

the specs are still evolving, and the various type checker implementations are what is driving them forward. in general, capturing the dynamic typing semantics of python in a gradually typed system is not a fully solved problem, and the type checkers are experimenting with various approaches to it.