Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
082349872349872
10 months ago
|
parent
|
context
|
favorite
| on:
How the OCaml type checker works (2022)
The subtitle, "or what polymorphism and garbage collection have in common", is another hint there may be more to TFA than its HN submission title indicates.
Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: