TS is a bit more flexible and expressive than Sorbet, but I find Sorbet very ergonomic even with strict typing. I rarely have to use T.let or T.must.
Sorbet's typed data structures like T::Struct and T::Enum are also great.