Jon Purdy
evincarofautumn
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
Read more