A series of down-to-earth, code-oriented articles on implementing type inference.
This series is also available on Medium.
This chapter is an introduction, so there's no code.
Final code for this chapter here.
- Type classes
- Functional dependencies
- Field constraints
- Higher ranked types
- Named arguments
- Optional arguments
- Varargs
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.