Closures Ocaml Programming Chapter 9 Video 27

Summary

How to evaluate a core fragment of Defining a small-step substitution-model semantics for a core fragment of How to infer the type of function applications in HM type inference Textbook: cs3110.github.io/textbook. Lexical and dynamic scope arise from two possible definitions of function-application semantics in the environment model. How to define the substitution operation for simple expressions, including `if` and `let` Textbook: cs3110.github.io/textbook. The environment-model semantics of functions requires careful attention to scope Textbook: cs3110.github.io/textbook. An example of how environment-model evaluation works. Substitution-model evaluation is list-; environment-model, tree-. HM type inference of `let` expressions led to type schemes, which enabled polymorphism. Add mutability, though, could lead to a ... Implementing the type checker for a simple language: constants, variables, and binary operators Textbook: ... Unnamed function values. Textbook: cs3110.github.io/textbook. More about anonymous functions, aka lambdas. Textbook: cs3110.github.io/textbook. Defining and implementing the small-step substitution-model semantics of a simple language Textbook: ...