Dynamic Inference of Static Types for Ruby [pdf] | Hacker News Reader