[fulafel]

Ruby already had types, no? This is about static typing.

[viraptor]

If you're going for precision, then probably: type-annotations. The runtime doesn't change with sorbet. All the verification is via an external tool. So there's no static typing - your code can still violate the rules.

[cies]

My thought too. Interesting what the definition of "static" will turn out to be in the context of something so inherently dynamic as Ruby.