I’m working through Types and Programming Languages, by Benjamin Pierce.I’m up to somewhere around chapter 13, References, but it’s starting not to make sense. Which means it’s time to back up and do more of the work, instead of just nodding as though I really understand it.One of the things he does is build typecheckers …
Continue reading “Types and Programming Languages: Chapter 4”