T-Ruby is a typed layer for Ruby, inspired by TypeScript. It ships as a single executable called trc. Write .trb files with type annotations, compile to standard .rb files. Types are erased at compile ...