Pagogwodnyigy30otp1i
SkillsCast

Checking and translating type classes

6th October 2016 in London at CodeNode

There are 30 other SkillsCasts available from Haskell eXchange 2016

Please log in to watch this conference skillscast.

595689220 640x360

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:

Thanks to our sponsors

Checking and translating type classes

Andres Löh

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.

SkillsCast

Please log in to watch this conference skillscast.

595689220 640x360

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:

Thanks to our sponsors

About the Speaker

Checking and translating type classes

Andres Löh

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.

Photos