1
A reckless introduction to Hindley-Milner type inference (2019)
(I've been editing this post on and off for almost a year. I'm not really happy with it, but I suspect I never will be.)
Alice: Are there any examples of X? Bob: Here. Alice: Okay, but are there any examples of X'? Bob: Yes, here. Alice: That has feature Y, which- Bob: Dude, stop moving the goalposts.
Visit reasonableapproximation.net → RSS feedOn Hacker News Jun 2024 – Jun 2024
(I've been editing this post on and off for almost a year. I'm not really happy with it, but I suspect I never will be.)