Statically type-checked variant of Python

[Steven D'Aprano]

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:

http://cobra-language.com/

http://cobra-language.com/docs/python/

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.


-- 
Steven