TAPL in Python

Python implementation of type checker examples in the book Types and Programming Languages. It is written for Python 3.7 and above, aiming to be as close as possible to the original OCaml version for reading purposes.

The book Types and Programming Languages is written by Benjamin C. Pierce. The original examples written in OCaml are partially included in this repository for reference.

Unless specified individually, other Python code is written by DecentFoX Studio and released under BSD license.

Diff Index:

• 4.1 Syntax
• 4.2 Evaluation
• 4.3 The Rest of the Story

References:

• https://github.com/frutiger/tapl/
• http://www.dabeaz.com/ply/ply.html