Statically type-checked variant of Python

Steven D'Aprano steve+comp.lang.python at
Wed Jul 2 14:15:34 CEST 2014

On Wed, 02 Jul 2014 15:26:07 +0700, musicdenotation wrote:

> PHP has Hack, JavaScript has TypeScript, Python has what?

I don't know if this counts, but there's Cobra:

Cobra has a lot more than just (optional) static typing. Some of the 
features strike me as good ideas, such as contracts and unit tests, some 
as dubious (there's a lot of changes to the syntax which, in my opinion, 
hurt readability). But overall, it strikes me as a very exciting language.


More information about the Python-list mailing list