Type Checking Ocaml Programming Chapter 9 Video 31

Summary

Modifying the parser and AST to incorporate Defining a small-step substitution-model semantics for a core fragment of How to infer the type of function applications in HM Implementing the parsing of integer constants in the calculator interpreter. Textbook: cs3110.github.io/textbook. The `function` keyword provides helpful syntactic sugar for pattern matching. Textbook: cs3110.github.io/textbook. Defining and implementing the small-step substitution-model semantics of a simple language Textbook: ... The semantics of `let` uses a notion of substitution, but, how should that be defined? These examples lend intuition. Textbook: ...