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

Read More

Exploring Ruby with clangd

I’ve managed to get LSP-based IDE features powered by [clangd] working for the Ruby VM’s source code (in my case, in Vim). Here’s how I did it! Continue reading

Linkers & Ruby C Extensions

Published on June 7, 2020

Search Down the Stack

Published on June 6, 2020