[Python-ideas] Improving the expressivity of function annotations

[Steven D'Aprano]

Nick Coghlan wrote:
> If what you want is static typing, perhaps using a statically typed
> language would be a good place to start?


You might be interested in Cobra, which is a Python-influenced language 
with optional static typing.

http://cobra-language.com/

Comparison to Python:
http://cobra-language.com/docs/python/



-- 
Steven