An interpreter for the programming language SimPL (pronounced simple).
SimPL is a simplified dialect of ML, which can be used for both functional and imperative programming.
It's a project for the course Programming Languages at Shanghai Jiao Tong University. See the course website for more details.
- ML-like syntax.
- Algorithm W type inference.
- Call-by-value and call-by-need evaluation strategies.
- Infinite data structures.
- GC based on copy collection.
# Interpret a SimPL program
$ gradle run --args="doc/examples/gc.spl"
# Run tests
$ gradle test
# Build a standalone jar
$ gradle shadowJarThe grammar resides in src/main/cup/simpl/parser/simpl.cup.
You may find src/main/java/simpl/interpreter useful if you'd like to dig into the evaluation process,
and src/main/java/simpl/typing if you're interested in type inference.
Please refer to Specification for mandatory project requirements, and Report for implementation details.
See doc/examples for some SimPL programs.
This project is licensed under GPLv3.
Please be aware that you are required to include a copy of the full license text and state all the changes you made to the original source code if you decide to use whatever part of this code.
