> not sure if with "static analysis" you refer to static typing

I was thinking more like AST based tools, although static typing is very helpful.

I think we've discussed threading stuff before, I take your points but I'm still hopeful to see how things pan out in the next few years.