News for hackers. Stuff that matters.
Re:Show HN: Mys – an attempt to create a statically typed Py... by sitkack on Monday August 24, 2020 @02:16PM (#24263607)
Given that the OP is the github project owner, are you aware of https://chocopy.org/ ?

You might want to also look at Shedskin, https://github.com/shedskin/shedskin which converts implicitly typed Python programs to C++

Re:Show HN: Mys – an attempt to create a statically typed Py... by viraptor on Monday August 24, 2020 @03:34PM (#24264526)
Re:Show HN: Mys – an attempt to create a statically typed Py... by eerimoq on Monday August 24, 2020 @03:37PM (#24264569)
This looks promising indeed. Thanks for sharing.
Re:Show HN: Mys – an attempt to create a statically typed Py... by nerdponx on Tuesday August 25, 2020 @12:29AM (#24268130)
For the sake of completeness, might as well mention Nuitka [1] (another Python -> C compiler), Cython (Python-like language that compiles to C), and Numba (LLVM-based JIT compiler for a limited subset of Python).

[1]: http://nuitka.net/

[2]: https://cython.org/

[3]: https://numba.pydata.org/

Re:Show HN: Mys – an attempt to create a statically typed Py... by t-vi on Monday August 31, 2020 @07:05AM (#24330180)
In the special purpose for computation (like Numba) department, but more general: TorchScript from PyTorch https://pytorch.org/docs/stable/jit_language_reference.html#...

It doesn't compile to C but to an IR, but some ideas around typing might be similar.

Re:Show HN: Mys – an attempt to create a statically typed Py... by sitkack on Monday August 24, 2020 @02:17PM (#24263618)
Previous discussion of ChocoPy is here, https://news.ycombinator.com/item?id=20957420
Re:Show HN: Mys – an attempt to create a statically typed Py... by eerimoq on Monday August 24, 2020 @02:42PM (#24263920)
No, I am not aware of ChocoPy. Thanks for letting me know.

Shedskin uses the Python interpreter if I remember correctly. I aim not to.

Re:Show HN: Mys – an attempt to create a statically typed Py... by sitkack on Tuesday August 25, 2020 @01:01AM (#24268242)
It can make both standalone executables as well as extension modules that can be loaded into cpython2.7