On Ruby and type checkers

Stripe recently open sourced Sorbet, a ruby type checker. It was also recently announced that types will be coming to Ruby 3. Along with the impact of Typescript and with types coming to Python, it is evident that static type checkers for dynamic languages are gaining a lot of traction, and this piece is my attempt to clarify my own thoughts about it.I have mixed feelings about using types in Ruby or in Javascript:On the one hand, I don’t miss them at all.On the other, a lot of smart people and companies are embracing them, and this makes me want to give them a try.When you read about what benefits types bring, there are always 3 recurring themes:Better support for editorsMore robust systemsBetter documentation.