2 ms·
I've been typing SQLAlchemy for some months now and there's lots of scenarios where if you end up on mypy's issue tracker (which is very often), you will see "o
by zzzeek 5y ago
I've been typing SQLAlchemy for some months now and there's lots of scenarios where if you end up on mypy's issue tracker (which is very often), you will see "oh use a #type: ignore to deal with this occasional use case" as official advice. And here we see a compiler that considers all "# type: ignore" to be bugs and will eventually refuse to compile them. That's simply not realistic for the way Python typing works right now and I am skeptical.
- hauntsaninja 5y agomypyc has escape hatches, e.g. casting to Any is a common trick.
- zzzeek 5y agohow, when mypy itself has only "type: ignore" as a workaround for many scenarios? here's a list of 41 issues where either the user or the mypy devs are saying "use type: ignore as a workaround for now": https://github.com/python/mypy/issues?q=is%3Aopen+label%3Afalse-positive+type%3A+ignore https://github.com/python/mypy/issues?q=is%3Aopen+label%3Afa...