Deriving Via

We'll meet at 19:00 at the pizzeria Unikat.

The talk starts between 20:00 and 20:30 in the Math building in room M101.

Andres will talk about "Deriving Via". This is a proposed language extension (fully implemented) for GHC that allows all type class instances that are based on some kind of underlying principle or rule to be derived rather than explicitly defined. The language extension is very simple, as it mostly relies on already existing concepts (newtypes and the Coercible type class), but also very powerful and has a number of perhaps surprising applications. In the talk, we'll introduce the extension and discuss several examples.