Sorbet的语法丑陋？但这不妨碍它成为优秀的Ruby类型检查器

Sorbet，Stripe公司开发的Ruby静态类型检查器，其语法饱受诟病。作者Jake在演讲中解释了Sorbet语法设计背后的权衡。尽管语法不够优雅，但语义（类型含义）远比语法重要十倍。Sorbet的设计目标并非强迫开发者接受静态类型，而是响应Stripe工程师对提高生产力和代码可维护性的需求。文章回顾了Sorbet的设计历程，探讨了多种语法设计方案，最终选择在现有Ruby语法基础上扩展DSL的方式。文章还展望了Sorbet未来的语法改进方向，包括改进现有语法、探索与Ruby RBS规范的整合等，目标是让Sorbet更易用、更强大。