Type-safe Ruby | T-Ruby
type-ruby.github.io
T-Ruby: TypeScript-style type system for Ruby. Write .trb files with type annotations, compile to standard .rb files.