Exploring Shplait Encoding 9 Conclusion
Exploring Shplait Encoding 9 Conclusion reveals several interesting facts.
- Converting `let` to `fun` is an example of a more general concept of syntactic sugar, and even more generally as an
- Type rules for pairs, as set-up for the homework assignment.
- Implementing `unify`.
- Implementing additional numeric operations for Church numerals. It's ok if you don't get all the details, as long as you get the ...
- Local bindings via `let` can be implemented by making Moe's `parse` convert it into an immediately applied `fun` form.
In-Depth Information on Shplait Encoding 9 Conclusion
Summing up our exploration of λ-calculus Summing up our exploration of lambda-calculus Encoding We can
After my last video, @abrudz reached out and we had a great conversation about how APL works. ## Links * Adám's blog on ...
Stay tuned for more updates related to Shplait Encoding 9 Conclusion.