TypedRuby: gradual static type checking for Ruby (implemented in Rust) | Dark Hacker News