Simpl Small Step Ocaml Programming Chapter 9 Video 19

Summary

Defining and implementing the big- Implementing an environment-model big- The "environment model" differs from the "substitution model" by lazily recording substitutions in a map Textbook: ... 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 Modifying the parser and AST to incorporate type annotations on `let` bound variables Textbook: cs3110.github.io/textbook. How to define the substitution operation for The front end of a compiler lexes, parses, and performs semantic analysis, such as type checking. The back end manipulates the ...