Haskell for Imperative Programmers #16 - Type inference Share: Download MP3 Similar Tracks Haskell for Imperative Programmers #17 - Monads Philipp Hagenlocher Type Inference: What is it, why do we want it, and what's Hindley-Milner? Adam Jones Lambda Calculus - Computerphile Computerphile JSON Parser 100% From Scratch in Haskell (only 111 lines) Tsoding Functional Programming - 32: Covariant and Contravariant Functors Web Village Voyage Haskell Tutorial Derek Banas Introduction to Type Inference NYC Haskell User's Group Haskell for Imperative Programmers #28 - Concurrency & Threads Philipp Hagenlocher Haskell for Imperative Programmers #5 - List Exercises Philipp Hagenlocher Haskell for Imperative Programmers #4 - Lists and Tuples Philipp Hagenlocher The Hardest Problem in Type Theory - Computerphile Computerphile How to read Haskell code (in 7 minutes) peppidesu Haskell for Imperative Programmers #36 - Category Theory (Functors, Applicatives, Monads) Philipp Hagenlocher Haskell for Imperative Programmers #9 - Folding (foldr, foldl) Philipp Hagenlocher Infer is easier than you think Matt Pocock Making sense of the Haskell type system by Ryan Lemmer at FnConf17 ConfEngine Learning Haskell Week10 - Higher Order Functions Curtis D'Alves Haskell for Imperative Programmers #41 - Formal Verification (using Isabelle) Philipp Hagenlocher Haskell for Imperative Programmers #11 - Folding Exercises Philipp Hagenlocher
