Media Summary: Defining the small-step semantics of `let` expressions, based on substitution Textbook: The semantics of `let` uses a notion of substitution, but, how should that be defined? These examples lend intuition. Textbook: ... What looks like mutability in the toplevel is not -- it's really just a consequence of scope. Textbook: ...
Remaining Core Ocaml Environment Model Ocaml Programming Chapter 9 Video 29 - Detailed Analysis & Overview
Defining the small-step semantics of `let` expressions, based on substitution Textbook: The semantics of `let` uses a notion of substitution, but, how should that be defined? These examples lend intuition. Textbook: ... What looks like mutability in the toplevel is not -- it's really just a consequence of scope. Textbook: ... This presentation was recorded at YOW! 2015. Tim McGilchrist - Web Developer at Blake ... Examples of pattern matching with lists, records, and tuples. Textbook: Lexical and dynamic scope arise from two possible definitions of function-application semantics in the
