Understanding Shplait Y 2 Self Application
Let's dive into the details surrounding Shplait Y 2 Self Application. Our first step in understanding the letrec encoding is to implement the factorial function in
Key Takeaways about Shplait Y 2 Self Application
- Numbers, booleans, strings, and symbols.
- Arithmetic and function calls.
- Type rules in the traditional, math-ish notation.
- Converting `let` to `fun` is an example of a more general concept of syntactic sugar, and even more generally as an encoding of a ...
- Goal: use let and lambda to encode a recursive letrec expression.
Detailed Analysis of Shplait Y 2 Self Application
Our first step in understaning the `letrec` encoding is to implement the factorial function in Plait without `letrec`. Demonstrating lazy evaluation via Parsing function defintions and function calls.
Basic type inference in action.
That wraps up our extensive overview of Shplait Y 2 Self Application.
