Shplait Tutorial 2 Operators And Functions

Summary

Numbers, booleans, strings, and symbols. Shows a simplistic encoding of objects as Boxes are a simple stateful objects supported by built-in Our first step in understanding the letrec encoding is to implement the factorial Example uses of lambda-style `fun` in Shlait, which is useful both for writing Converting `let` to `fun` is an example of a more general concept of syntactic sugar, and even more generally as an encoding of a ... Using `first`, `rest`, and `is_cons`. Examples of class definitions and considering whether typechecking should accept or reject the programs. Distinguishing expressions from values, and treating Using the design recipe for compound data. At this point, the template starts to help a little. PLAI §17.1 Motivating lazy evaluation, as opposed to eager evaluation. cs3520/6520: my.eng.utah.edu/~cs3520/