There's a heavy push towards Typescript lately and I agree with your counter. I'll add to it: Type checking gets you somewhere, but are you better off there? It

There's a heavy push towards Typescript lately and I agree with your counter. I'll add to it: Type checking gets you somewhere, but are you better off there? It depends on where you want to be. As you've mentioned, integration tests are important, and cover your assumptions on a closer-to-the-user level. I suspect that there's a flock that prefers working with the testing pyramid remaining standing. Put another way, are uncomfortable if the lower bases are unstable. There is another flock that prefers the agility and flexibility that comes without logical gymnastics of type checking, relying on inverting the pyramid to prove they're done. Not right or wrong, but another way of making.