Right. Similar problem to Typescript - generally its best users are those already sold on static types, for many others the temptation of <any> and friends is t

Right. Similar problem to Typescript - generally its best users are those already sold on static types, for many others the temptation of <any> and friends is too much, and interacting with untyped/poorly typed libraries + poor type inference can be really frustrating. Although in that case it's still a massive gain for new projects, in my experience.