Programming

This is the core thesis of the article:

It's true that sometimes you have to write non-trivial types to convince the compiler that your data is correct.

That's okay. Creating maintainable code with high quality often requires putting in the hard work.

There's no real substantiation of the claim; just the claim itself.

Yes TypeScript is onerous but that's just alright.

Maybe it's true but it's a weak argument.