Skip to content

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

Notifications You must be signed in to change notification settings

Ahnfelt/type-inference-by-example

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

78 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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.

About

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

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages