Interesting. I had blogged about mypy here, a few years ago: https://jugad2.blogspot.in/2012/12/mypy-python-variant-with-goal-of.html https://jugad2.blogspot.i

Interesting. I had blogged about mypy here, a few years ago: https://jugad2.blogspot.in/2012/12/mypy-python-variant-with-goal-of.html https://jugad2.blogspot.in/2012/12/mypy-python-variant-with-... but had not tracked it much after that. Must check it out again.