Oleg Kiselyov personal blog
How the OCaml type checker works (2022)
A short guide on OCaml type checker, describing the surprisingly elegant algorithm for generalization, which generalizes to first-class polymorphism, MLF and local types. Polymorphism and regions have much in common.
- Points
- 219
- HN comments
- 45
- Submissions
- 2
- Cited by
- 8 commenters
Software EngineeringProgramming Languages2024
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Aug 18, 2024 | How the OCaml type checker works (2022) by mooreds | 219 | 42 |
| Nov 18, 2018 | What polymorphism and garbage collection have in common (2013) by g0xA52A2A | 100 | 3 |
Cited in comments
Linked from 9 Hacker News comments by 8 different people, from Feb 2016 to Sep 2026.
Most recent:
