Media Summary: The `unify` function will replace any use of `==` in the type checker, and it needs a `resolve` helper function. Representing type variables in our new, inferencing type checker. _Unification_ is the algorithm for assigning types to type variables. The `unify` function will need to implement this algorithm.
Shplait Inference 11 Reporting Errors - Detailed Analysis & Overview
The `unify` function will replace any use of `==` in the type checker, and it needs a `resolve` helper function. Representing type variables in our new, inferencing type checker. _Unification_ is the algorithm for assigning types to type variables. The `unify` function will need to implement this algorithm. Local bindings via `let` can be implemented by making Moe's `parse` convert it into an immediately applied `fun` form.
