0:00 / 0:00
#typeinference#hindley-milner#typesystems
Introduction to Type Inference
NYC Haskell User's Group
1.7K subscribers • 23 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.pdfWhy it's here
1 person recommends thisu/sclvin r/haskell • Mentions
On “[NYHUG] The Not-A-Wat in Haskell”
That's Brian Hurt, and he gives talks at NY Haskell fairly often.
Here's one on Monad Transformers and lifting exception handling and the like: link to this video
Here's one on doubly ended queues in haskell (and fingertrees for that matter): link to this video
And here's one on type inference: link to this video
(and here's an old talk on the benefits of static typing: https://vimeo.com/72870631)
u/k-bxin r/haskell • Mentions
On “New Haskellers: Ask Anything”
I recommend watching "Introduction to Type Inference", which also introduces you to notation, quite a nice video link to this video