This is kinda how I react when I see people praising Golang. I do understand the feeling of being triggered by a language you find frustrating!

As the author of the referenced post, I think Typescript serves a different purpose from Purescript. I disagree that type checking isn't valid if it's not incorporated in a compilation process. If there is a mechanism for demonstrating that types accurately describe runtime behavior, that's type checking. But I do agree that Purescript and Haskell are closer to correct, and are more robust. So if you're leaning on type checking for correctness, you're going to fall over less often with those languages. But not never! I've tinkered with Purescript a little, and I've worked with Haskell extensively, so I am acquainted with the differences.

I actually used to work with Phil Freeman; but I never got around to talking to him about Purescript. What an opportunity I missed!