Re:Show HN: Mys – an attempt to create a statically typed Py...
by viraptor on Monday August 24, 2020 @03:34PM
(#24264526)
And at mypyc https://github.com/python/mypy/tree/master/mypyc
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/
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
You might want to also look at Shedskin, https://github.com/shedskin/shedskin which converts implicitly typed Python programs to C++