Media Summary: A comparison of big-step vs. small-step semantics, and substitution A "closure" is a data structure containing the code for a function, as well as the The semantics of `let` uses a notion of substitution, but, how should that be defined? These examples lend intuition. Textbook: ...
Remaining Core Ocaml Environment Model Ocaml Programming Chapter 9 Video 29 - Detailed Analysis & Overview
A comparison of big-step vs. small-step semantics, and substitution A "closure" is a data structure containing the code for a function, as well as the The semantics of `let` uses a notion of substitution, but, how should that be defined? These examples lend intuition. Textbook: ... Modifying the parser and AST to incorporate type annotations on `let` bound variables Textbook: Compilers translate code from one language to another. Interpreters execute code. Virtual machines and just-in-time compilation ...
