Type Inference by Example
A series of down-to-earth, code-oriented articles on implementing type inference.
This series is also available on Medium.
Chapters
Type constraints? Substitutions? What?
This chapter is an introduction, so there's no code.
Inferring generic types
Final code for this chapter here.
Upcoming
- Type classes
- Functional dependencies
- Field constraints
- Higher ranked types
- Named arguments
- Optional arguments
- Varargs
Contact
I'm Joakim Ahnfelt-Rønne, MSc Computer Science (University of Copenhagen). I work with functional programming in the industry and I co-organize a meetup about it in Copenhagen. In my spare time, I work on programming languages - and apparently, write about it.
Catch me on https://discord.gg/4Kjt3ZE - it's a very nice community about programming language design. I'm @ahnfelt.