Exploring Plait Inference 8 Unification
Exploring Plait Inference 8 Unification reveals several interesting facts.
- Type
- Examples for the `unify!` function.
- Implementing `unify!`.
- Introduction to
- Introduction to type
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. We define unifying substitutions in the context of logic, computer science and type systems and see both formal definitions and ...
Slides: http://blog.ielliott.io/talks/type-
Stay tuned for more updates related to Plait Inference 8 Unification.