/type-inference-by-example

A series of down-to-earth articles on implementing type inference

Primary LanguageScala

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.