sorbet
★ 3,791sorbet
A fast, powerful type checker designed for Ruby. internals.md There is also a talk online that describes Sorbet's high-level architecture and the reasons why it's fast: Fast type checking for Ruby Building Sorbet There are multiple ways to build sorbet.