1 unstable release
Uses old Rust 2015
0.1.0 | Jul 31, 2018 |
---|
#15 in #intermediate
550KB
14K
SLoC
evaltrees
A simple functional language, and a small-step interpreter for it. Additionally, shows the evaluation of the "main expression" as it proceeds. Intended as an instructional aid for CSCI2041 at the University of Minnesota.
The interpreter can be run in call-by-name, call-by-need, or call-by-value modes. Expression evaluations can be show as concrete or abstract syntax.
See doc/syntax.md
for a description of the language's syntax.
Missing Features
(These are features that will probably not be implemented (although PRs are welcome))
- Mutual Recursion
- Currently, this breaks typechecking
- Polymorphic Recursion
- This makes type inference undecidable
- Higher-rank Polymorphism
- The reification procedure for types assumes rank-1 polymorphism
- This makes type inference undecidable
License
Licensed under either of
- Apache License, Version 2.0, (http://www.apache.org/licenses/LICENSE-2.0)
- MIT license (http://opensource.org/licenses/MIT)
at your option.
Contribution
Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.
Dependencies
~4.5–7MB
~134K SLoC