|
|
|
|
|
|
by adaszko
2642 days ago
|
|
|
I wish there was one too, but programmer-oriented types are not the same thing as machine-oriented types. Compiling to fast code requires the latter one: types like u32, not Dict[String, int]. Current Python typing efforts tend to focus on programmer-oriented types. |
|
|