TypedRuby: gradual static type checking for Ruby (implemented in Rust)
github.com