Yuta (philosophy major) engages in a friendly conversation with Henry about his recent undergraduate computer science thesis (at Reed College). The thesis is about programming language design. We believe that this is a fairly accessible overview of programming language theory with plenty of allusions to the more complicated details.