Type Inference & Unification - Isaac Elliot - BFPG 2019-03
Channel: Brisbane Functional Programming Group
Date: 2019-03-14

Slides: http://blog.ielliott.io/talks/type-inference.pdf

Type systems increase our confidence that code does useful things. Last month we saw how upgrading untyped lambda calculus to simply-typed lambda calculus (STLC) lead to a better-behaved language by ruling out non-termination and nonsensical operations. In this talk I introduce 'type inference', a process that allows us to type-check programs without any type annotations. We will see how it applies to STLC and beyond, and uncover the critical machinery that makes it work: unification.

(New audio system is better than the aircon noise, but I'll fiddle with the mixer next month to get rid of the clipping and hum)