Please log in to watch this conference skillscast.
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
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.