Just wanted to let you know about typed.rb:
https://github.com/antoniogarrote/typed.rb A gradual type checker for
Ruby I’ve been working on in the last months.
It’s still far from completion but it can already type check some
interesting Ruby programs.
Please, take a look if you’re interested on the idea of adding some kind
of static type checking for Ruby.
Any feedback will be welcome.