Principles-of-Programming-Languages

The course provides an understanding of the principles of programming languages, program construction and software design. In the course, we will review principles through an analysis of aspects of JavaScript and TypeScript, Scheme and Prolog.

The major things we did in the course:

1. Intro to Typescript as a functional programming language
2. Interpreter for a sub-language of Scheme using Typescript
3. Type checker and type inference systems for Scheme
4. Control structures in JavaScript/Scheme
5. Logic programming, interpreter for sub-language of prolog using Scheme

The Assignments

Assignment 1: Basic functional coding in Typescript

Assignment 2: Expanding the AST, syntactic trasnformations

Assignment 3: Creating a new AST, enviroment-based evaluation

Assignment 4: Expanding the type checker, control structures in JS

Assignment 5: Lazy lists, CPS and intro to prolog