DEV Community 👩‍💻👨‍💻

Discussion on: Fault tolerance on the web

oenonono profile image

I'm not sure if this is pedantic of me, a misunderstanding of mine about the vocabulary, or maybe it's just a different way of thinking about what is (or could be) the same thing depending on how TC39 designed such a thing...

But type checking and input validation seem like very different things to me. One is about program verifiability and developer experience, which are improved by explicit contracts between different parts of the code. But the other is about users and user experience.

Is it a failure of imagination on my part? I know that programmers would love to treat human beings as part of a program that operates perfectly, but they're... human. And not that. So type errors don't seem like quite the right approach.