|
|
|
|
|
|
by zem
404 days ago
|
|
|
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. |
|
|