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
- Arithmetic and function calls.
- Numbers, booleans, strings, and symbols.
- Examples of class definitions and considering whether typechecking should accept or reject the programs.
- Basic type inference in action.
- Introduction and goals of type checking for classes.
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 Type rules in the traditional, math-ish notation.
The new Moe grammar and some examples to explore how `interp` should work.
That wraps up our extensive overview of Shplait Y 2 Self Application.
