InfoQ Homepage Presentations From Haskell 98 to Modern Haskell–Making Sense of the Haskell Type System
From Haskell 98 to Modern Haskell–Making Sense of the Haskell Type System
48:05
Summary
Ryan Lemmer takes a look at Haskell’s type system, including extensions: GADTs, multi-param type-classes, functional dependencies, type functions, kind polymorphism, type promotion, etc.
Bio
Ryan Lemmer is a Cape Town based software maker, coach and advisor. He supports individuals and teams to manage the evolution and complexity of their software. He loves learning and facilitating learning in others.
About the conference
Functional Conf is a hardcore tech conference aimed at bringing together top-notch developers and thinkers, to build tomorrow's technology using Functional Programming concepts.
May 05, 2018