That was a really nice read and I can definitely see the benefits you listed after dabbling with TypeScript for a little bit. I think you might find ReScript intriguing for the same reasons, however, the first two reasons feel supercharged in it when compared to TypeScript.

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store