Pagogwodnyigy30otp1i
SkillsCast

Workshop: Generics-Sop

14th October 2017 in London at CodeNode

This SkillsCast was filmed at HaskellX2gether Community Weekend

Coming Soon

In this tutorial, you will discover a short introduction to the generics-sop library that can be used to write datatype-generic programs in a high-level, functional style.

As generics-sop makes use of several Haskell type system extensions such as data kinds, constraint kinds, type families, higher-ranked types, this can also serve as an introduction to type-level programming in Haskell.

The introduction will be followed by an interactive part where participants can work on exercises or try to write their own generic functions using generics-sop. Participants who want to hack on or improve generics-sop are also welcome.

YOU MAY ALSO LIKE:

Thanks to our sponsors

Workshop: Generics-Sop

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

Coming Soon

In this tutorial, you will discover a short introduction to the generics-sop library that can be used to write datatype-generic programs in a high-level, functional style.

As generics-sop makes use of several Haskell type system extensions such as data kinds, constraint kinds, type families, higher-ranked types, this can also serve as an introduction to type-level programming in Haskell.

The introduction will be followed by an interactive part where participants can work on exercises or try to write their own generic functions using generics-sop. Participants who want to hack on or improve generics-sop are also welcome.

YOU MAY ALSO LIKE:

Thanks to our sponsors

About the Speaker

Workshop: Generics-Sop

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.