Evaluation Relations Ocaml Programming Chapter 9 Video 14

Summary

In a small-step semantics, an expression repeatedly takes a single step of How to infer the type of `if` expressions in HM type inference Textbook: cs3110.github.io/textbook. Defining a small-step substitution-model semantics for a core fragment of Defining the small-step semantics of `let` expressions, based on substitution Textbook: cs3110.github.io/textbook. The semantics of `let` uses a notion of substitution, but, how should that be defined? These examples lend intuition. Textbook: ... Defining and implementing the small-step substitution-model semantics of a simple language Textbook: ... What happens when HM type inference is over? Either a "principal type" is found, or a type error has been detected. Textbook: ... Implementing the type checker for a simple language: constants, variables, and binary operators Textbook: ... Implementing the parsing of integer constants in the calculator interpreter. Textbook: cs3110.github.io/textbook. HM type inference of `let` expressions led to type schemes, which enabled polymorphism. Add mutability, though, could lead to a ... How to define the substitution operation for simple expressions, including `if` and `let` Textbook: cs3110.github.io/textbook.