tapl-in-rust

Implementation of the topics discussed in the book Types and Programming Languages (TaPL) in the Rust programming language.

Topics

• Part I: Untyped systems
  • Chapter 3: Untyped arithmetic expressions
  • Chapter 5 & 6: Untyped lambda-calculus, nameless representation of terms

More topics are coming.

Build and Run

You need a valid Rust toolchain to build this project. You can install a Rust toolchain with rustup.

Chapter 3 - untyped arithmetic expressions

To run the implementation of untyped arithmetic expressions (TaPL chapter 3), execute the following command:

cargo run --bin tapl-cli --features cli --features unty_arith -- \
    --topic unty-arith <input>

<input> should be the path to the input file containing source code of untyped arithmetic expressions.

License

This project is open sourced under MIT License.