Exploring Shplait Tutorial 10 Testing
Exploring Shplait Tutorial 10 Testing reveals several interesting facts.
- Introducing some notation: boxes around Moe code to represent parsed programs.
- Introduction and goals of type
- If you're writing a number of tests which are more on the complex side, you may benefit from using a fixture. Here's how to use ...
- Dispatching on variants with `match`.
- 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.