[ddfisher]

Don't forget Cython [1]! My understanding is that it's quite useable (though it unfortunately uses a different static type system/syntax than mypy).

[1] http://cython.org/

[fuzzythinker]

Didn't forget it, just didn't include it since to me, it's more like a totally different (and not pretty) language that tries to look like python. I should however include Nuitka [1] since it is fairly usable, it's just the generated version isn't much faster than its interpreted python version.

[1] http://nuitka.net/

[int_19h]

Why is Cython a totally different language? It's definitely a superset, what with all the custom syntax for type annotations, struct definitions etc. But you can ignore all that, and just stick to the pure Python subset.

[Macha]

Why does the same not apply to Crystal then?

[fuzzythinker]

Guess you can say Crystal is a totally different language as well. It's just to me, Crystal still has the same feel as ruby and Cython doesn't. Again, it's just my opinion, I won't argue if you feel otherwise.