Sorbet

Sorbet is a fast, powerful type checker designed for Ruby.

Fast and scalable Sorbet is multithreaded, scaling linearly across cores on your CPU. It checks your types in seconds, giving you feedback as you code.

IDE-ready Sorbet works with your favorite editor to provide IDE features like autocomplete and jump to definition. It’s easy to add to your CI setup.

Gradual by design Sorbet works with normal Ruby, so you can keep using your existing toolchain. Add Sorbet types to your codebase one file at a time.

A taste of Sorbet

Sorbet is 100% compatible with Ruby. It type checks normal method definitions, and introduces backwards-compatible syntax for method signatures. Explicit method signatures make Sorbet useful for anyone reading the code too (not just the author). Type annotations serve as a tool for understanding long after they're written. Sorbet is designed to be useful, not burdensome. Explicit annotations are repaid with clear error messages, increased safety, and increased productivity.

Get started quickly

Sorbet is designed to get you started quickly. Add and install a few gems, initialize Sorbet, and type check your project. Sorbet also knows what's in a project's Gemfile, so it knows how to make or create type definition files for any gems a project uses. For more information on how to get started with Sorbet, see the Getting Started guide.

Designed to be interactive

Sorbet gives your Ruby development environment IDE-like features, including autocomplete, in-editor documentation, and go to definition. The implementation leverages the Language Server Protocol to be compatible with your favorite editor. In the time we've spent adopting Sorbet at Stripe, countless people have told us that adding types to existing code or writing new code feels interactive, like pair-programming with the type checker. People ask Sorbet questions, and it responds in seconds—or faster.