On my travels around the programming language community online I found many references to Chris Smith’s review of types entitled “What to Know Before Debating Type Systems”. Unfortunately, it was almost as if it had disappeared from the face of the planet. Of course, nothing ever really disappears from the Internet and I was able to summon it forth from the recesses of the Internet using Way Back Machine:
I provide this link on the off-chance that it might be of use to others who have been unable to find this piece of work anywhere else. It’s definitely worth a read. Also worth reading is the referenced textbook “Types and Programming Languages” by Benjamin Pierce.
Until next time!
Content © 2023 Richard Cook. All rights reserved.