News for hackers. Stuff that matters.
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.

Re:Show HN: Mys – an attempt to create a statically typed Py... by eerimoq on Monday August 24, 2020 @04:09PM (#24264940)
It compiles statically typed Python modules to CPython C extension modules. I do not know the details, but it sounds like that's a major difference to Mys.