Given that the OP is the github project owner, are you aware of <a href="https://chocopy.org/" rel="nofollow">https://chocopy.org/</a> ?<p>You might want to also look at Shedskin, <a href="https://github.com/shedskin/shedskin" rel="nofollow">https://github.com/shedskin/shedskin</a> which converts implicitly typed Python programs to C++
Question for the OP seeing as this is a Show HN: how does this compare to Nim (<a href="https://nim-lang.org/" rel="nofollow">https://nim-lang.org/</a>)?
I am working on something similar, although with a different focus (mobile coding): <a href="https://github.com/stefanhaustein/tantilla" rel="nofollow">https://github.com/stefanhaustein/tantilla</a><p>P.S.: Might make sense to try to get to a common type-safe language spec?
Cython is a great tool for this. It’s a superset of Python with full static compilation support for native CPython or for pure C or C++ extension modules.<p><a href="https://cython.org/" rel="nofollow">https://cython.org/</a>
There is also <a href="http://strlen.com/lobster/" rel="nofollow">http://strlen.com/lobster/</a><p>Rust-like borrow checking with a Python-ish syntax, compiles to C++ or Wasm
Similar and relevant:<p>Crystal: <a href="https://crystal-lang.org/" rel="nofollow">https://crystal-lang.org/</a><p>Sorbet: <a href="https://sorbet.org/" rel="nofollow">https://sorbet.org/</a>
I love this.<p>I have nothing else to say except that I want this to happen.
Python is an amazing language which is missing two things - static types and speed. I starred your repo and am looking forward to seeing it progress.
This looks cool. Is there anything specific you're trying to do with Mys that another language didn't do? Nim comes to mind as being in a similar space.<p>Small nitpick about the title: Python <i>is</i> strongly typed.
> Data races will occur when multiple threads uses a variable at the same time, which will likely make the program crash.<p>... or let the attacker execute arbitrary code.
Isn't Dotty basically statically typed Python? They added whitespace syntax recently and thanks to Scala native it should be possible to have a LLVM backend somewhere down the line.
Strongly typed? You mean statically typed?<p>See <i>"What to know before debating type systems"</i>:<p><a href="http://blogs.perl.org/users/ovid/2010/08/what-to-know-before-debating-type-systems.html" rel="nofollow">http://blogs.perl.org/users/ovid/2010/08/what-to-know-before...</a>
Before making Yet Another Language, I'd like to see a good analysis of the options and trade-offs they offer: what does each design choice make easier and harder. There is probably no free lunch, but maybe we can find a better lunch by balancing things carefully.