Please log in to watch this conference skillscast.
Haskell programs make use of overloading extensively. As a consequence, qualified types, i.e., types containing class constraints are ubiquitous. In this talk, you will discover how a type system with type classes works internally, and how a compiler such as GHC deals with the presence of qualified types. You will explore the basics of the "dictionary translation", and how it is applied during type checking.
If you are a Haskell beginner who would like to learn more about how the Haskell type system works, this talk is for you! You would also have lots to learn if you are more advanced in the language.
YOU MAY ALSO LIKE:
Checking and translating type classes
Andres Löh is a Haskell consultant and co-owner of Well-Typed LLP. He is based in Regensburg, Germany. He started using Haskell in 1997, when being an undergraduate student of mathematics in Konstanz and has been an enthusiastic functional programmer ever since. Andres obtained a PhD in Computer Science from Utrecht University in 2004, on extending the Haskell language with capabilities for datatype-generic programming. After having been a university lecturer for several years, he joined Well-Typed in 2010.