Variables in Types

September 25, 2017

These are some recitation notes for an ad-hoc recitation I gave for the class 15-312 Principles of Programming Languages. It was probably my favorite 312 recitation content-wise, because it’s the first recitation where we’ve covered enough stuff to where we can really start connecting the dots.


We’ve seen a number of examples in class of types which use variables. Having variables in our type systems lends a great deal of power to languages using these type systems. We’re going to look at how variables are used in generic programming, inductive & coinductive types, and polymorphic types.

Variables in Types

Code Review from the Command Line

I do the bulk of my code reviews from the command line, especially when reviewing larger changes. I’ve built up a number of tools and config settings that help me dig into the nuances of the code I’m reviewing, so that I can understand it better than if I were just browsing online. Continue reading

Presenting Data & Information: Notes

Published on December 06, 2017

ABTs in Haskell

Published on November 12, 2017