Language Workshop

Welcome to the language workshop! This is a series of worksheets that will walk you through implementing an interpreter for a programming language called MLTS (pronounced as “melts”). MLTS is a functional language, and you get to choose what features your implementation supports! We’ll walk you through implementing a parser, evaluator, REPL, and typechecker.

The steps are designed to be completed in order; if you’re stuck on one of the steps, ask a TypeSig committee member for help in the workshop, or post a message on our Discord server.

You can choose which language to write the interpreter in; pick one that you’re comfortable with already, or if you want a further challenge, pick one that you want to learn!

The only prior knowledge we assume is that you know how to program. If you’re not too confident with your programming skills, this can be a great way to develop them! In this case, we recommend that you use a language that you have the most experience in, and ask our workshop helpers if you’re unsure about anything :)

• Step 1: The Beginning
• Step 2: Parsing and Printing
• Step 3: Eval
• Step 4: Environments
• More to come in the next few weeks!