20:58
2026-06-26
blog.akhil.cc
machine-learning
Type Inference (Part 1)
A tutorial series on type inference begins, covering the Damas-Hindley-Milner type system, unification, bidirectional type-checking, Algorithm J, row polymorphism, newtype declarations, type annotatio…