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?

• Part 1
• Part 2
• Part 3

This chapter is an introduction, so there's no code.

Inferring generic types

• Part 4
• Part 5
• Part 6
• Part 7
• Slides

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.