u/gallaisin r/ocaml • Recommends
ICFP 2014: Hindley-Milner Elaboration in Applicative Style (Functional Pearl) - Francois Pottier
0:00 / 0:00
#hindley-milner#typeinference#applicative
ICFP 2014: Hindley-Milner Elaboration in Applicative Style (Functional Pearl) - Francois Pottier
Malcolm Wallace
884 subscribers • 6 videos on Hallway
- Recommended by 2 people: 2 in engineering communities.
- A classic. People kept recommending it from 2014 to 2019.
- Presented by François Pottier, researcher at INRIA
Advanced. Deep dive for people who know the field.
1K views12 years ago2 recommendations
Programming languagesLanguage design and type systemsCompilers and interpretersFunctional programming
François Pottier presents a functional pearl on implementing Hindley-Milner type inference using an applicative style.
International Conference on Functional Programming 2014. Gothenburg, Sweden.Why it's here
2 people recommend thisWhat people say. Recommended as a modern approach to type inference, contrasting with older algorithms.
u/rain5in r/ProgrammingLanguages • Recommends
On “PL Reading Group - Double Week 5: (A Simple Algorithm and Proof for Type Inference - 1987)”
I recognize the author Mitchell Wand, I read his paper about hygienic macros. This type inference paper is much older though. For me I will be contrasting this paper against some of more recent ways to look at type inference, such as link to this video