Nice thread about how different people think of type systems. I like the part that notes that if the person you are talking to responds with "most of my errors are not type errors", then they might be working off a more restricted definition to you:
Quote Tweet
There seems to be a persistent misunderstanding of what type systems are, even among people who make otherwise excellent arguments about ways in which mainstream type systems are deficient.
Specifically, I often see “types are bad; I want X instead” where X is a form of typing.
Show this thread