Show HN: Mys – an attempt to create a statically typed Python-like language

I was once toying with the idea to create a statically-typed Python-like language, and I had the perfect name for it: Typhoon... ;)

Given that the OP is the github project owner, are you aware of <a href="https:&#x2F;&#x2F;chocopy.org&#x2F;" rel="nofollow">https:&#x2F;&#x2F;chocopy.org&#x2F;</a> ?<p>You might want to also look at Shedskin, <a href="https:&#x2F;&#x2F;github.com&#x2F;shedskin&#x2F;shedskin" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;shedskin&#x2F;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:&#x2F;&#x2F;nim-lang.org&#x2F;" rel="nofollow">https:&#x2F;&#x2F;nim-lang.org&#x2F;</a>)?

&gt; We don’t need a GC because RC<p><pre><code> L = [] L.append(L)</code></pre>

I am working on something similar, although with a different focus (mobile coding): <a href="https:&#x2F;&#x2F;github.com&#x2F;stefanhaustein&#x2F;tantilla" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;stefanhaustein&#x2F;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:&#x2F;&#x2F;cython.org&#x2F;" rel="nofollow">https:&#x2F;&#x2F;cython.org&#x2F;</a>

There is also <a href="http:&#x2F;&#x2F;strlen.com&#x2F;lobster&#x2F;" rel="nofollow">http:&#x2F;&#x2F;strlen.com&#x2F;lobster&#x2F;</a><p>Rust-like borrow checking with a Python-ish syntax, compiles to C++ or Wasm

Similar and relevant:<p>Crystal: <a href="https:&#x2F;&#x2F;crystal-lang.org&#x2F;" rel="nofollow">https:&#x2F;&#x2F;crystal-lang.org&#x2F;</a><p>Sorbet: <a href="https:&#x2F;&#x2F;sorbet.org&#x2F;" rel="nofollow">https:&#x2F;&#x2F;sorbet.org&#x2F;</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&#x27;re trying to do with Mys that another language didn&#x27;t do? Nim comes to mind as being in a similar space.<p>Small nitpick about the title: Python <i>is</i> strongly typed.

&gt; 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&#x27;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.

Why not to just use Cython?

Strongly typed? You mean statically typed?<p>See <i>&quot;What to know before debating type systems&quot;</i>:<p><a href="http:&#x2F;&#x2F;blogs.perl.org&#x2F;users&#x2F;ovid&#x2F;2010&#x2F;08&#x2F;what-to-know-before-debating-type-systems.html" rel="nofollow">http:&#x2F;&#x2F;blogs.perl.org&#x2F;users&#x2F;ovid&#x2F;2010&#x2F;08&#x2F;what-to-know-before...</a>

Before making Yet Another Language, I&#x27;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.