> and leads to languages that cease to value other things like simplicity Simplicity is subjective. Some people think that TypeScript is overly complex compar

> and leads to languages that cease to value other things like simplicity Simplicity is subjective. Some people think that TypeScript is overly complex compared to simply using JavaScript. Other people feel like Scala's type system doesn't go far enough. I'd say that in a type system, what is "simple" is what you're used to and understand, and what's "complicated" is what you don't. Now, friction is another story, and some type systems are very friction heavy (Hello Java!), while some very sound type systems are not (Elm). While Flow has issues/bugs and an extreme lack of proper tooling, the type system itself arguably has less friction than TS. If the implementation was on par (that is, you changed nothing to the type system at all, but just improved documentation, tooling and stability), I'd be able to get my programs in a better state faster, with less typing and catching more bugs. Unfortunately that isn't the case, and in the last couple of releases, TypeScript at least got decent enough to use.