Shplait Variable 2 Store

Summary

Examples of interpreting with mutable Boxes are a simple stateful objects supported by built-in functions in Examples for interpreting mutable Parsing function defintions and function calls. Converting `let` to `fun` is an example of a more general concept of syntactic sugar, and even more generally as an encoding of a ... Shows a simplistic encoding of objects as functions, illustrating what it means to treat variants and operations in an object-oriented ... Examples of class definitions and considering whether typechecking should accept or reject the programs. Type rules in the traditional, math-ish notation. Numbers, booleans, strings, and symbols. Introduction to state: what and why. Example calls to `interp` showing the Example uses of lambda-style `fun` in Shlait, which is useful both for writing Basic type inference in action. Implemement a language with boxes by using