In my experience Sorbet is a lot less useful than mypy and frequently unhelpful or useless, and both of those aren't in the same league as Typescript.