Remote/online meetup: Staged generics-sop

This meetup will take place remotely. We will not meet at Unikat/University of Regensburg.

We'll meet at 19:30 online, via Google Meet. The link will be announced on the day of the meetup.

We'll spend the first 30 minutes chatting (and sorting out potential technical issues). The talk will start at 20:00.

Andres will talk about generic programming and how to solve performance problems by means of Typed Template Haskell. This reveals some problems in the current implementation of Typed Template Haskell, which fortunately can be fixed (so I'll be using an experimental version of GHC).

This is a continuation of an earlier talk on the same topic in which I had shown initial results and the problems, but did not yet have a solution. This new talk is self-contained though, and does not require any recollection of the first one.