Brian Hurt
New York Haskell Meetup
April 22, 2015
Have you ever wondered what a "rigid type variable" was, and why Haskell was complaining about trying to unify it? An intuition of how Haskell's type system works is an absolute must for Haskell programmers (as well as Ocaml programmers, Scala programmers, Swift programmers, etc.). The easiest way to gain that intuition is to see an actual, if simplified, type system developed. Brian starts with a simplified subset of Haskell and develops a simplified type system for it- but not so simplified that critical problems aren't addressed.
Slides: https://github.com/bhurt/presentations/raw/master/types.pdf
