#ty #mypy - but mypy already compiles itself to c via #mypyc so being faster isn't what I'd be expecting, it will be different and probably find different typing errors since for all the type checkers, it comes down to a matter of opinion. Do you think that will be a runtime error? That's in the future, who knows man.
@isaaclyman
That's pretty much how #Python optimizing compilers like #cython, #mypyc, #numba, and #TaichiLang work, and iiuc is the idea behind #MOJOlang.
As for leaky abstractions, I'd mitigate that by moving the lower-level algorithms into a separate module and limit the optimization pass to that module. Higher-level modules, like CLI entry points or API server route handlers, shouldn't need the extra optimization.
Here is an example of how I used #cibuildwheel with #mypyc (which in theory can compile to C anything that you can perfectly type annotate)
https://github.com/matthewdeanmartin/untruncate_json/blob/main/cibuildwheel.toml
So if I take ordinary #python (no math to speak of) and
#cythonize it
#mypyc it
No obvious pattern on if it is faster or not. I don't know where the 20% to 200x rule of thumb came from (that I've seen in various conference talks)
I've been trying every x months to speed up #python with native code. This weekend with half-assed effort I got a rust + python thing going.
- c, go, c++, #cython - failed because the difficult level of dealing with the build scripts. And c, c++ are just nasty.
- #mypyc - Almost worked, but failed, the annotations have to be a perfect subset of what mypyc can handle.
Mypyc and cython need something like maturin if they want get widespread adoption.
The lengths to which people go to squeeze a bit of #performance out of #Python 😰:
“You Should Compile Your Python And Here’s Why”, Glyph Lefkowitz (https://glyph.twistedmatrix.com/2022/04/you-should-compile-your-python-and-heres-why.html).
On HN: https://news.ycombinator.com/item?id=31200989
On Lobsters: https://lobste.rs/s/vktboi/you_should_compile_your_python_here_s_why
An interesting reading on #python speed and how to improve it with #mypyc https://glyph.twistedmatrix.com/2022/04/you-should-compile-your-python-and-heres-why.html
IMO, mypyc has a potential to become Python 4.0 in the future.
