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:
Fun with Sum and Product Types
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.