[sakesun]

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 :)

[williamstein]

https://mypy-lang.org/ ?

[sakesun]

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

[actionfromafar]

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

https://shedskin.github.io/