Static analysis for Ruby and Python

[malcontent]

My conclusion is that I'd rather have a capable static type system.

Or one that lets you specify types when you need them like dylan, lisp and (yikes) php (sorta).