Exploring Plait Inference 8 Unification
Exploring Plait Inference 8 Unification reveals several interesting facts.
- Type
- Examples for the `unify!` function.
- Implementing `unify!`.
- We define unifying substitutions in the context of logic, computer science and type systems and see both formal definitions and ...
- Introduction to
In-Depth Information on Plait Inference 8 Unification
Unification _Unification_ is the algorithm for assigning types to type variables. The `unify` function will need to implement this algorithm. The `unify!` function will replace any use of `equal?` in the type checker, and it needs a `resolve` helper function. Building on our knowledge of
This video introduces the
Stay tuned for more updates related to Plait Inference 8 Unification.
