Don't miss this Haskell Bytes meetup with talks from Chris and Andres on regular expressions and Fun with Sum and Product Types!
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.
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.
Do you think Haskell supports Regular Expressions effectively? Come and join Chris to explore how Regular Expressions have been supported in Haskell and how well they should be supported (Spoiler alert: Chris doesn't think they have been supported well enough).
Some technically excellent packages are available which have been widely adopted but there is strong evidence that they are not as easy to use as developers expect and a wide variety of alternative packages have been proposed, none of which have attracted enough support to supplant the original.
Chris will speculate on why this situation has come about and why he think the new 'regex' package will fix all of this. (Another spoiler alert: it is built on top of the technically excellent, de facto standard 'regex-base' packages that get used when Haskell folks really, really can't avoid using regular expressions.)
Chris is Chief Engineer for Iris Connect who provide web/video platform to help professionals to record, develop and share their practice.