That would be interesting! You might already be aware. But there's mypyc[0], which is an AOT compiler for Python code with type hints (that, IIRC, mypy uses to compile itself into a native extension).
Wanted to give you a head-start on the lit-review for your students I guess :)
Wanted to give you a head-start on the lit-review for your students I guess :)
[0] https://github.com/mypyc/mypyc