Infer is a project mainly written in Ruby, it's free.
Experiments with type inference in Ruby.
404: Not Found