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: