Static Type Inference for Ruby

Hello Tom,

There is a cool new paper about a tool, that blends Ruby's dynamic type
system with a static typing discipline. Maybe some of the paper's ideas
can be incorporated into RubyMine's type inference mechanism, code
completion, etc.

http://www.cs.umd.edu/projects/PL/druby/papers/druby-oops09.pdf

Thanks a lot for the idea, but we are already aware of this paper as well as of diamond ruby project.
We already have builtin type inference mechanism inside RubyMine that covers most of real world cases and which is adapted for caching purposes.
You can take a look at our small guide on type inference in RubyMine at: http://www.jetbrains.net/confluence/display/RUBYDEV/Ruby+type+inference+spec

Regards,
Oleg