I've had a doozy of a time writing this article. See here's the thing: I've been a Ruby programmer for a long time (and a PHP programmer before that). My other main language exposure just before becoming a Rubyist was Objective-C. That did require putting type names before variable or method signatures, but also Objective-C featured a surprising amount of duck typing and dynamism as well (for better or worst…Swift tried to lock things down quite a bit more).
But TypeScript is simply a bridge too far for me. I use it because a project I'm on requires it, but I don't enjoy it. At times I hate it so much I want to throw my computer across the room. However, I can't deny its appeal in one respect: those Intellisense popups and autocompletes in VSCode are very nice, as well as the occasional boneheaded mistake it warns me about.
What does any of this have to do with Ruby? I'm getting there. Bear with me just a wee bit longer, I implore you!
If this is starting to sound just a wee bit familiar to you, O Rubyist, it should—because that's exactly what it's like using YARD + Solargraph with Ruby.
Right now, I'm in the middle of an extensive overhaul of the Bridgetown project to add YARD documentation comments to all classes and methods. With the Solargraph gem + VSCode plugin installed, I get extensive type descriptions and code completion with a minimal amount of effort. If I were to type:
It knows that:
And if I were to pass some arguments into a method, it would know what those arguments should be. And if I were to assign the return value of that method to a new variable, it would know what type (class) that variable is.
Livin' the dream, right? But the one missing component of all this is strict type checking. Now the Solargraph gem actually comes with a type checking feature. But I've never used it, because I feel like if I were to go to the trouble of adding type checking to my Ruby workflow, I'd want something which sits a little closer to the language itself and is a recognized standard.
That's where Ruby 3 + Sord comes in.
Sord was originally developed to generate Sorbet type signature files from YARD comments. Sorbet is a type checking system developed by Stripe, and it does not use anything specific to Ruby 3 but is instead a custom DSL for defining types. However, Sord has recently been upgraded to support generation of RBS files (Ruby Signature). This means that instead of having to write all your Ruby 3 type signature files by hand (which are standalone—Ruby 3 doesn't support inline typing in Ruby code itself), you can write YARD comments—just like with Solargraph—and autogenerate the signature files.
Once you have those in place, you use a tool called Steep, which is the official type checker "blessed" by the Ruby core team. Steep evaluates your code against your signature files and provides a printout of all the errors and warnings (similar to any other type checker, TypeScript and beyond).
So here's my grand unifying theory of Ruby 3 type checking:
- You write YARD comments in your code.
- You install Solargraph for the slick editor features.
- You install Sord to generate
- You install Steep to type check your Ruby code.
Unfortunately the reality is…not quite there yet. It kinda sorta works—with several asterisks. Hence the reason it took me so long to even write an article about Ruby 3 typing…and I'm not even sharing examples of how to do it but instead my thought process around why you'd want to do it and what the benefits are relative to all the hassles and headaches.
In my opinion, a type checking system for Ruby is useless unless it's gradual. I want everything "unchecked" by default, and "opt-in" specific classes or even methods as we go along. While YARD + Solargraph alone gives you this experience, adding Sord + Steep into the mix does not. There doesn't currently seem to be a way to say only generate type signatures for this file or that and only check this part of the class or that. At least I wasn't able to find it.
In addition, all this setup is confusing as hell to beginners. There's no way I can take someone's fresh MacBook Air and install Ruby + VSCode + Solargraph + Sord + Steep (perhaps also Rubocop for linting) and get everything working perfectly with a minimum of headache and fuss. I myself have seen Solargraph and/or Rubocop support in VSCode break several times for unclear reasons, and it's been a PITA to fix.
So here's my crazy and wacky proposal: This should all be one tool. 🤯 I want to sit down at a computer, install Ruby + AwesomeRubyTypingTool, and it all just works. That's the real dream here. I mean, TypeScript is TypeScript. It's not a bunch of random JS libraries you have to manually cobble together into some kind of coherent system. TypeScript—for all its gotchas and flaws—is a known quantity. You might even say it just works—at least in VSCode. (No surprise there: both VSCode and TypeScript are Microsoft-sponsored projects.)
I have no idea what it would take for the Ruby core team and the other folks out there building these various tools to get together and hash this all out. But I really hope this story gets a hell of a lot better over the coming months. Because if not…I might just kiss Ruby 3 typing goodbye.
But not Solargraph. You'd have to pry that out of my cold dead hands. 😆
What are your thoughts concerning Ruby 3 and static typing? Do you think this ecosystem is headed in the right direction? Do you think I'm wrong in promoting code comments as the preferred way to add typing to Ruby? Would you use Solargraph + Sord + Steep if it all worked together seamlessly? Drop a comment and let me know!