Unification Algorithm Ocaml Programming Chapter 9 Video 44

Summary

After HM type inference collects a set of constraints, they need to be solved to determine the types that are inferred. The intuition ... How to infer the type of `if` expressions in HM type inference Textbook: cs3110.github.io/textbook. Putting together the entire HM type inference HM type inference of `let` expressions led to type schemes, which enabled polymorphism. Add mutability, though, could lead to a ... 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: ... Small- and big-step evaluation relations are themselves related: the big-step is an abstraction of the small-step Textbook: ... Recording of the NYC Haskell meetup run of the talk from meetup.com/NY-Haskell/events/254584461/.