|
|
|
|
|
|
by mzl
417 days ago
|
|
|
A typing system should only infer things that it knows are true, it should never invent restrictions. In a language like Python that is duck-typed, `Any` is the only reasonable choice in the absence of other real constraints like a type-annotation. |
|
|