types-and-programming-languages

KO | EN

gitlite — search

#python #llm #golang #linux #docker #nodejs #windows #awesome #cli #awesome-list #vue #ios #mcp #open-source

types-and-programming-languages

(★ 33)

C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..

types-and-programming-languages 최신버젼 다운로드

최종 버전 다운로드 (.zip)

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# Types and Programming Languages

Implementations of programming languages and type systems studied in [Types and Programming Languages](https://www.cis.upenn.edu/~bcpierce/tapl/).

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](ch04_arith) | :heavy_check_mark: Lexer + Tests :heavy_check_mark: Parser + Tests :heavy_check_mark: Interpreter + Tests
The Untyped Lmabda Calculus | [ch07_untyped](ch07_untyped) | :heavy_check_mark: Lexer + Tests :heavy_check_mark: Parser + Tests :heavy_check_mark: Interpreter + Tests
Typed Arithmetic Expressions | [ch08_tyarith](ch08_tyarith) | :heavy_check_mark: Lexer + Tests :heavy_check_mark: Parser + Tests :heavy_check_mark: Interpreter & Type Checker + Tests
Simply Typed Lambda Calculus | [ch10_simplebool](ch10_simplebool) | :heavy_check_mark: Lexer + Tests :heavy_check_mark: Parser + Tests :heavy_check_mark: Type Checker + Tests :heavy_check_mark: Interpreter + Tests
Typed Lambda Calculus (with various extensions) | [ch11_fullsimple](ch11_fullsimple) | __Natural numbers (Nat) type support__ :heavy_check_mark: Lexer + Tests :heavy_check_mark: Parser + Tests :heavy_check_mark: Type Checker + Tests __Records and Projections__ :heavy_check_mark: Lexer + Tests :heavy_check_mark: Parser + Tests :heavy_check_mark: Type Checker + Tests
Typed Lambda Calculus with Subtyping | [ch17_rcdjoinsub](ch17_rcdjoinsub) | :heavy_check_mark: Lexer + Tests :heavy_check_mark: Parser + Tests :heavy_check_mark: Interpreter + Tests
Typed Lambda Calculus with Imperative Objects | [ch18_fullref](ch18_fullref) [Example Programs](ch18_fullref/examples) | __Let bindings support__ :heavy_check_mark: Lexer + Tests :heavy_check_mark: Parser + Tests :heavy_check_mark: Interpreter + Tests __References (Ref, Source, Sink)__ :heavy_check_mark: Lexer + Tests :heavy_check_mark: Parser + Tests :heavy_check_mark: Interpreter + Tests __Sequencing__ :heavy_check_mark: Lexer + Tests :heavy_check_mark: Parser + Tests :heavy_check_mark: Interpreter + Tests __Recursion__ :heavy_check_mark: Lexer + Tests :heavy_check_mark: Parser + Tests :heavy_check_mark: Interpreter + Tests

### Usage

#### Running Tests

```bash
cd ch##_<lang>
clang++ --std=c++17 test.cpp && ./a.out
```

#### Interpreter

```bash
cd ch##_<lang>
clang++ --std=c++17 interpreter.cpp && ./a.out "input program"
```

types-and-programming-languages

types-and-programming-languages 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

types-and-programming-languages

types-and-programming-languages 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

Download README