Sorbetの醜い構文：Rubyの型チェックにとって必要な悪か？
2025-05-09
Stripeが開発したRubyの静的型チェッカーであるSorbetは、有名なほどぎこちない構文を持っています。この講演で、JakeはSorbetの設計におけるトレードオフについて説明します。構文は美しくありませんが、セマンティクス（型の意味）ははるかに重要です。Sorbetは静的型付けを強制するために作られたのではなく、生産性とコードの保守性の向上を求めるStripeのエンジニアのニーズに応えるために作られました。この講演はSorbetの歴史をたどり、既存のRubyを拡張するDSLのアプローチに落ち着くまでの様々な設計アプローチを探求します。将来の改善策として、現在の構文の改良やRubyのRBS規格との統合などが議論されており、使いやすさとパワーの向上を目指しています。
開発
静的型チェック