0:00 / 0:00
#typeinference#hindley-milner#typesystems
Introduction to Type Inference
NYC Haskell User's Group
1.7K subscribers • 19 videos on Hallway
- Recommended by 1 person: 1 in engineering communities.
- Presented by Brian Hurt
- Linked in the descriptionbhurt/presentations
Intermediate. Assumes working knowledge.
6.6K views11 years ago1 recommendation
Programming languagesComputer scienceCompilers and interpretersLanguage design and type systems
Brian Hurt explains how type inference works by developing a simplified type system to build intuition for languages like Haskell.
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: github.com/bhurt/presentations/raw/master/types.pdf