15-150: Principles of Functional Programming

I had the pleasure of serving as the summer instructor for 15-150, the introduction functional programming class for computer science students at Carnegie Mellon, in the Summer 2023 semester. A disciplined, type-oriented, safety-first view of programming can be of utmost benefit to burgeoning computer science scholars, and I have often heard feedback from students that it is has a transformative view on their perspective of computer science in general. "Proving things about pretty much any kind of data you can imagine." "Code reuse at different types, without breaking any of our safety properties." "SML has one of the most sophisticated module systems of any programming language." "A long time ago, programming languages did not exist." "You can never go back, because you are forever a functional programmer."