Pagogwodnyigy30otp1i
SkillsCast

Workshop: Generics-Sop

14th October 2017 in London at CodeNode

There are 7 other SkillsCasts available from 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 long-time functional programming enthusiast. He has started using Haskell in 1997 while being an undergraduate studying mathematics. He obtained his PhD on datatype-generic programming using Haskell from Utrecht University in 2004. Since then, he has continued to use Haskell in research and practice, including teaching various courses both to students and participants from industry. His main interests, next to datatype-generic programming, are embedded domain-specific languages, unleashing the full power of Haskell's type system, parallelism and applying functional languages to real-life problems. Since 2010, Andres is an independent Haskell consultant and partner at Well-Typed LLP.

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 long-time functional programming enthusiast. He has started using Haskell in 1997 while being an undergraduate studying mathematics. He obtained his PhD on datatype-generic programming using Haskell from Utrecht University in 2004. Since then, he has continued to use Haskell in research and practice, including teaching various courses both to students and participants from industry. His main interests, next to datatype-generic programming, are embedded domain-specific languages, unleashing the full power of Haskell's type system, parallelism and applying functional languages to real-life problems. Since 2010, Andres is an independent Haskell consultant and partner at Well-Typed LLP.