Static typing in ruby

Ruby 3 has support for type inference, not type checking/annotations. A good way to make use of that is with the steep type checker. Sorbet uses too custom of a syntax and code wouldn’t run without Sorbet being installed & required in Ruby. Unfortunately, static typing is an area where python seems to be more ‘conventional’ (i.e. easier to pick up).