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