Optional static typing for Python
For your interest, this indeed was unintended behaviour on the part of `mypy`. It has since been fixed, apparently: https://github.com/python/mypy/pull/11153
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.
Mypy won't detect instance attribute access
1 project | reddit.com/r/learnpython | 27 Mar 2022
Type Hinting - Constrain metaclass of typing.Type
2 projects | reddit.com/r/learnpython | 25 Mar 2022
High Performance subset of python
6 projects | reddit.com/r/Python | 14 Feb 2022
Good textbook with implementations of OO type system?
2 projects | reddit.com/r/ProgrammingLanguages | 11 Feb 2022
Mypy: Using unions in mapping types does not work as expected
1 project | reddit.com/r/learnpython | 10 Jan 2022