Re:Show HN: Mys – an attempt to create a statically typed Py...
by h8hawk on Monday August 24, 2020 @04:04PM
(#24264865)
Have you look at mypyc?
https://github.com/python/mypy
Its a compiler that support subset of python and mypy's team including Guido work on it. It would be great if this kind of efforts have been done on more realistic project.
There are probably other languages that would serve the same purpose, but oh well, I can't resist creating another. =)