With this release, we’re making it even easier to take advantage of these LSP features when working with Sorbet in VS Code. We hope that this extension takes some of the guess work out of how to configure and use Sorbet’s LSP mode.

→ https://github.com/sorbet/sorbet/tree/master/compiler/

We want to be clear up front: the code is nowhere near ready for external use right now, but we welcome you to read the code and give us feedback on our approach!

We teased this a few weeks back in a tweet, which drew a fair bit of attention, and also a lot of questions:

We’d like to take a second to speak to how RBS relates to Sorbet. The short version: Sorbet will happily incorporate RBS as a way to specify type annotations, in addition to the existing syntax Sorbet supports. Stripe still has a very strong commitment to Sorbet’s continued progress and success. While the Ruby core team has been working on syntax, we’ve been working on features that build on top of that syntax.

With that in mind, I’d love to start a discussion of some of the finer points of what this announcement means for Ruby, and for Sorbet.

Sorbet is a fast, powerful type checker for Ruby developed by Stripe and an ever-growing community of contributors. You can try it online or set it up in your project today. Sorbet gradually integrates into existing Ruby projects. With Sorbet, people writing Ruby gain more confidence in their changes and get faster feedback while iterating.

At this milestone, we’d like to take a look back on what’s happened since the first public release of Sorbet, and what’s coming in the future.

We designed Sorbet to be used at Stripe, where the vast majority of our code is written in Ruby. We’ve spent the last year and a half developing and adopting Sorbet internally, and we’re finally confident that Sorbet is not just an experimental, internal project—we’re ready to share Sorbet with the entire Ruby community. In fact, we’ve had more than 30 companies beta test Sorbet and provide feedback.

With that in mind, in October 2017 a small team of engineers conceived of building Sorbet, a gradual static type system for Ruby. Static type systems look for certain classes of potential errors without running your code. A gradual static type system allows you to gradually add static typing, leaving some parts of your code purely dynamically typed. Other examples of gradual static type systems that have been added onto existing dynamically typed languages are Flow and TypeScript for Javascript, and Hack for PHP. In this post, we’d like to give a brief update about what we’ve been working on, and where we’re going next.