Recap and Feedback

In this part, we really dug into programming language design and theory, looking into simply typed lambda calculus. Much of the effort was invested in building a programming language called STLC++ based on lambda calculus. This part was quite challenging, but we hope you found it rewarding — the next two parts will feel like a breeze in comparison!

Note that much of the work done in this part directly also helps with the course project. If you haven’t started on the project yet, now is a good time to do so.