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.

Abstract:

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

Union Types in Flow & Reason

Union types are a powerful tool and often overlooked. At work we use Flow, which thankfully supports union types. But as I refactor certain code paths to use more of them I’ve noticed that our bundle size has been steadily increasing! Continue reading

Case Exhaustiveness in Flow

Published on April 15, 2018

Lenses & Composition

Published on February 06, 2018