ANN typed.rb: building a gradual type checker for Ruby

Hi everyone.

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.

Cheers!