Statically type-checked variant of Python

2014-07-02 Thread musicdenotation
PHP has Hack, JavaScript has TypeScript, Python has what?
-- 
https://mail.python.org/mailman/listinfo/python-list


Re: Statically type-checked variant of Python

2014-07-02 Thread 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
-- 
https://mail.python.org/mailman/listinfo/python-list