Don't see c/c++ target in the roadmap, which seems like an ideal use case for typed python besides correctness. Thoughts?
What ? You mean like export to c/c++ code? Isn't python too dynamic for that ?
I'll say python isn't any more dynamic than ruby and groovy, and they have fairly stable and usable static compile target release/ports [1]. Python has a few [2] attempts, but none of them is close to stable or really useful.
http://groovy-lang.org/releasenotes/groovy-2.0.html
[2] https://github.com/shedskin/shedskin