Hacker News Reader

Another language that we can build type with its own language is Python. The problem is that there is no checker for that kind of type, however :)

Never use Mypy, but I think it probably check only the static-like (with generic) types like any other static languages.

Using shedskin Python to C++ compiler is a kind of roundabout way of doing that. :)