Let Polymorphism Ocaml Programming Chapter 9 Video 48

Summary

How to infer the type of anonymous functions (lambdas) in HM type inference Textbook: cs3110.github.io/textbook. Functions that are parameterized on types. Textbook: cs3110.github.io/textbook. What happens when HM type inference is over? Either a "principal type" is found, or a type error has been detected. Textbook: ... Defining a small-step substitution-model semantics for a core fragment of An example of how environment-model evaluation works. Substitution-model evaluation is list-; environment-model, tree-. How to define the substitution operation for simple expressions, including `if` and ` How to evaluate a core fragment of Defining the type system for a simple language Textbook: cs3110.github.io/textbook.