Pagogwodnyigy30otp1i
SkillsCast

Fun with Sum and Product Types

8th May 2017 in London at CodeNode

There are 1 other SkillsCast available from Why Regular Expressions Matter and Fun with Sum and Product Types with Chris Dornan and Andres Loh!

This talk will introduce the concept of datatype-generic programming using the generics-sop library in an example-oriented fashion: We will consider a number of programming problems (generation / enumeration of values; (de)serialization; various operations on record types such as mapping to database tables; ...) and see how viewing Haskell datatypes as type-level sums of type-level products and applying functions from the generics-sop library yields elegant and powerful solutions.

In contrast with other talks on generics-sop that I have given in the past, this talk will be less concerned with the internals of the library, and more focused on applications and examples.

YOU MAY ALSO LIKE:

Thanks to our sponsors

Fun with Sum and Product Types

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

This talk will introduce the concept of datatype-generic programming using the generics-sop library in an example-oriented fashion: We will consider a number of programming problems (generation / enumeration of values; (de)serialization; various operations on record types such as mapping to database tables; ...) and see how viewing Haskell datatypes as type-level sums of type-level products and applying functions from the generics-sop library yields elegant and powerful solutions.

In contrast with other talks on generics-sop that I have given in the past, this talk will be less concerned with the internals of the library, and more focused on applications and examples.

YOU MAY ALSO LIKE:

Thanks to our sponsors

About the Speaker

Fun with Sum and Product Types

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.