Exploring Shplait Tutorial 10 Testing
Exploring Shplait Tutorial 10 Testing reveals several interesting facts.
- Introduction and goals of type
- Introducing some notation: boxes around Moe code to represent parsed programs.
- Dispatching on variants with `match`.
- A reminder that `typecheck` and `interp` do not call each other.
- Implementing `typecheck`.
In-Depth Information on Shplait Tutorial 10 Testing
Using the `check` form, putting tests in a ` Updating `typecheck` to use `unify`. Numbers, booleans, strings, and symbols. An aside showing why our new Moe is just as expressive as the one with functions: both are Turing-complete.
Demonstrating lazy evaluation via
Stay tuned for more updates related to Shplait Tutorial 10 Testing.
