Last week, at Codecamp Iasi, I made a presentation about a Type Inferencer for ML in 200 Lines of Scala. I’ve started by having a compilers overview, and then talking about vehicle language. For the last part I’ve spoke about Wand’s type interference algorithm.

You can see my slides on Speakerdeck or check out the project available on Github.