Related, Square wrote a great article: "RubyKaigi and the Path to Ruby 3"[0]. The section titled "Static Analysis" high level compares Sorbet to Steep
[0] https://developer.squareup.com/blog/rubykaigi-and-the-path-t...
[0] https://developer.squareup.com/blog/rubykaigi-and-the-path-t...