Quick Overview: What looks like mutability in the toplevel is not -- it's really just a consequence of A notion of "behavioral equality" is at the heart of reasoning about the correctness of functional programs Textbook: ... The semantics of `let` uses a notion of substitution, but, how should that be defined? These examples lend intuition. Textbook: ...
Variable Expressions And Scope Ocaml - Detailed Overview & Context
What looks like mutability in the toplevel is not -- it's really just a consequence of A notion of "behavioral equality" is at the heart of reasoning about the correctness of functional programs Textbook: ... The semantics of `let` uses a notion of substitution, but, how should that be defined? These examples lend intuition. Textbook: ... A "closure" is a data structure containing the code for a function, as well as the environment that "closes" off its free More about records vs. variants, and how variants can combine "one of" vs "each of" data. Textbook: ... Type systems designed to track the side-effects of
Defining the type system for a simple language Textbook: Broadcasted live on Twitch -- Watch live at The environment-model semantics of functions requires careful attention to So with those requirements in mind uh consider this Defining a small-step substitution-model semantics for a core fragment of How to define the substitution operation for simple
