https://github.com/Ahnfelt/type-inference-by-example

A series of down-to-earth articles on implementing type inference
https://github.com/Ahnfelt/type-inference-by-example

Last synced: 3 months ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/Ahnfelt/type-inference-by-example
• Owner: Ahnfelt
• Created: 2020-04-17T17:27:47.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2020-05-24T17:36:40.000Z (over 4 years ago)
• Last Synced: 2024-06-30T14:48:32.996Z (5 months ago)
• Language: Scala
• Size: 629 KB
• Stars: 150
• Watchers: 8
• Forks: 3
• Open Issues: 1
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Type Inference by Example

A series of down-to-earth, code-oriented articles on implementing type inference.

*This series is also available on [Medium](https://medium.com/@joakim.ahnfelt/type-inference-by-example-793d83f98382).*

# Chapters

## Type constraints? Substitutions? What?

* [Part 1](part1/article.md)

* [Part 2](part2/article.md)

* [Part 3](part3/article.md)

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

## Inferring generic types

* [Part 4](part4/article.md)

* [Part 5](part5/article.md)

* [Part 6](part6/article.md)

* [Part 7](part7/article.md)

* [Slides](talk-mfk/slides.pdf)

> Final code for this chapter [here](talk-mfk/Inference.scala).

## 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](https://www.meetup.com/MoedegruppeFunktionelleKoebenhavnere) about it in Copenhagen. In my spare time, I work on [programming languages](https://github.com/topshell-language/topshell) - 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.