Sorbetは、Ruby用に設計された高速で強力な型チェッカーです。高速でスケーラブルなSorbetはマルチスレッドであり、CPUのコア全体で線形にスケーリングします。数秒でタイプをチェックし、コーディング中にフィードバックを提供します。IDE対応のSorbetはお気に入りのエディターと連携して、オートコンプリートや定義へのジャンプなどのIDE機能を提供します。CIセットアップに簡単に追加できます。段階的な設計Sorbetは通常のRubyで動作するため、既存のツールチェーンを引き続き使用できます。コードベースにSorbetタイプを1ファイルずつ追加します。シャーベットの味シャーベットはRubyと100％互換性があります。通常のメソッド定義を型チェックし、メソッドシグネチャの後方互換性のある構文を導入します。明示的なメソッドシグネチャは、コードを読む人（作成者だけでなく）にとってもSorbetを有用にします。型注釈は、記述されてからずっと後に理解するためのツールとして機能します。シャーベットは、重荷ではなく、役に立つように設計されています。明確な注釈は、明確なエラーメッセージ、安全性の向上、生産性の向上によって返されます。すぐに使い始めるSorbetは、すぐに使い始めるように設計されています。いくつかのgemを追加してインストールし、Sorbetを初期化して、プロジェクトをタイプチェックします。Sorbetは、プロジェクトのGemfileの内容も知っているため、プロジェクトが使用するgemの型定義ファイルを作成または作成する方法を知っています。Sorbetの使用を開始する方法の詳細については、Getting Startedガイドを参照してください。対話型であるように設計されたSorbetは、オートコンプリート、エディター内ドキュメンテーション、Go to Definitionなど、Ruby開発環境にIDEのような機能を提供します。この実装では、Language Server Protocolを活用して、お気に入りのエディターとの互換性を確保しています。StripeでのSorbetの採用に費やした時間の中で、既存のコードに型を追加したり、新しいコードを記述したりすることは、型チェッカーによるペアプログラミングのようにインタラクティブだと多くの人から言われました。人々はシャーベットに質問すると、数秒で応答します。