Comparing Python Type Checkers: Typing Spec Conformance
(news.ycombinator.com)
1.
2.
Python Type Checker Comparison: Empty Container Inference
(news.ycombinator.com)