3 ms·
I think that Python's type checkers do this sort of thing now, e.g. via TypeGuard (https://www.python.org/dev/peps/pep-0647/ https://www.python.org/dev/peps/pep
by milliams 5y ago
I think that Python's type checkers do this sort of thing now, e.g. via TypeGuard (https://www.python.org/dev/peps/pep-0647/ https://www.python.org/dev/peps/pep-0647/)
- iso8859-1 5y agoThat's a PEP for Python 3.10, which isn't even released yet. And Mypy only supports it since May: https://github.com/python/mypy/issues/5206#issuecomment-844144556 https://github.com/python/mypy/issues/5206#issuecomment-8441...