Datatype-Generic Programming with HUGs

  • June 18, 2013 · 7:00 PM

We're joining the lovely Berlin Haskell User Group (HUGs) to hear Andres Löh from Well-Typed talk about Datatype-Generic Programming in Haskell.

Here's the abstract:

Datatype-Generic Programming

Haskell's deriving construct is magical and wonderful at the same time:
wonderful, because with just a single line, you can get functionality for your
newly defined datatype such as (de)serialization, comparison and traversal
functions for free; magical because all of this happens behind the scenes, by
compiler magic. Or does it? Since recently, the Glasgow Haskell Compiler (GHC)
supports a feature that lets you define your own derivable functionality! And
it is not difficult to do, either. All you have to do is understand a little
bit about how Haskell datatypes can be uniformly represented using a limited
set of simple datatypes. Then you can define instances of your code for this
limited set, and get the rest for free. This so-called datype-genericity is so
important, because it further encourages programmers to define domain-specific
and precise types; there's less of a price to pay if lots of functionality is
nearly automatically available for free, even for such new datatypes.

In the talk, I will explain all about how datatype-generic programming in GHC
works, and I will present a number of examples of how it can be used or is
already used in prominent Haskell libraries.

Join or login to comment.

  • Eric N.

    Sorry! Too far away!

    June 17, 2013

  • Bernd Jürgen S.

    Oh, accidently I have mixed this event with the talk 'A Type Driven Approach to Functional Design' on monday. So there are 2 Haskell type talks in a row. https://secure.trifork.com/berli...­

    June 16, 2013

    • Catonano

      I don´t understand: is there another talk on monday ? That is today ?

      June 17, 2013

    • Emily G.

      looks like it's organised by GOTO Berlin. sorry for annoying timings - wasn't aware it was happening. ah well.

      June 17, 2013

  • A former member
    A former member

    Dammit! I can't make it. Gutted :(

    June 17, 2013

  • Christopher T.

    I got a cold over the weekend, sorry.

    June 17, 2013

People in this
Meetup are also in:

Create a Meetup Group and meet new people

Get started Learn more
Allison

Meetup has allowed me to meet people I wouldn't have met naturally - they're totally different than me.

Allison, started Women's Adventure Travel

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy