Website | Source | Docs
Features
- Gradual Type Checking: Sorbet is a gradual type checker, which enables incremental adoption. On the other hand, it’ll be unfamiliar to those expecting a traditional statically typed language.
- Enabling Static Checks: Sorbet works with 100% of Ruby, but it does not work the same for all Ruby. Developers can opt into more static checks to get even more safety and productivity.
- Flow-sensitive Typing: One way Sorbet works to be useful without getting in the way is with control-flow-sensitive typing. Sorbet tracks the effect of control on types, instead of asking for type annotations.
- Sorbet AOT compiler: Source An experimental, ahead-of-time compiler for Ruby,
Tags:
language
ruby
functional
static
dynamic
Last modified 11 October 2025