The article does a good job explaining why Typescript-like type annotations won't work (unless you only allow them in method definitions): most TS-like syntax i

The article does a good job explaining why Typescript-like type annotations won't work (unless you only allow them in method definitions): most TS-like syntax is already valid Ruby code in one way or another. That aside, I'm curious where specifically you found Sorbet lacking?