Types and Programming Languages
Implementations of programming languages and type systems studied in Types and Programming Languages.
Each subdirectory implements one of the languages studied in the book. Each such implementation consists of a lexer, parser, interpreter, and type system for the language implemented.
Directory Structure
Each implementation contains 3 files:
- interpreter.hpp: This is the main part containing the actual implementation of the language.
- interpreter.cpp: This file contains a simple main() method to invoke the interpreter. For now, it only accepts a single command line argument consisting of the program to be evaluated.
- test.cpp: Contains tests for the separate components of an interpreter: lexer, parser, and interpreter.
Status
| Language | Directory | Status |
|---|---|---|
| Untyped Arithmetic Expressions | ch04_arith | |
| The Untyped Lmabda Calculus | ch07_untyped | |
| Typed Arithmetic Expressions | ch08_tyarith | |
| Simply Typed Lambda Calculus | ch10_simplebool | |
| Typed Lambda Calculus (with various extensions) | ch11_fullsimple | Natural numbers (Nat) type support Records and Projections |
| Typed Lambda Calculus with Subtyping | ch17_rcdjoinsub | |
| Typed Lambda Calculus with Imperative Objects | ch18_fullref Example Programs |
Let bindings support References (Ref, Source, Sink) Sequencing Recursion |
Usage
Running Tests
cd ch##_<lang>
clang++ --std=c++17 test.cpp && ./a.outInterpreter
cd ch##_<lang>
clang++ --std=c++17 interpreter.cpp && ./a.out "input program"