Datatype-Generic Programming in Haskell

In the talk, I will explain all about how datatype-generic programming in GHC works, and I will present several examples of its use, including examples of how it already is successfully being used in some prominent Haskell libraries.

Haskell's deriving construct is both wonderful and magical at the same time: it is wonderful, because with just a single line of code, you can obtain functionality such as(de)serialization, comparison and traversal functions for your newly defined datatype; it is magical because all of this happens behind the scenes, by code deeply built into the compiler.

But does it have to be magic? Since recently, the Glasgow Haskell Compiler (GHC) supports a feature that lets you define your own derivable functionality! And it is not difficult to use, either. All you have to do is to understand a little bit about how Haskell datatypes can be uniformly represented using a limited set of simple datatypes. Then you define a class plus instances for this limited set of types, and get all the rest for free.

So-called datatype-generic functions let you properly express your code in terms of specific, user-defined datatypes without paying a price: for your new datatypes, you can still use lots of pre-defined functionality, simply by deriving it.

YOU MAY ALSO LIKE:

• Deriving Via (SkillsCast recorded in October 2018)
• Real-time Systems with Spark Streaming and Kafka (in London on 30th September - 1st October 2019)
• µCon London 2020 - The Conference on Microservices, DDD & Software Architecture (in London on 27th - 29th May 2020)
• Converting Architectural Requirements into Code using CloudFormation (in London on 18th September 2019)
• Fast Track to F# with Tomas Petricek (in London on 4th - 5th November 2019)
• Lightbend Akka for Scala - Professional (in London on 11th - 12th November 2019)
• Haskell eXchange 2019 (in London on 10th - 11th October 2019)
• Clojure eXchange 2019 (in London on 2nd - 3rd December 2019)
• F#unctional Londoners September (in London on 18th September 2019)
• Scala 2.13 and Beyond! (SkillsCast recorded in April 2019)
• Introduction to Markov Chains in F# (SkillsCast recorded in April 2019)