Talks by Paul Chiusano and Ed Kmett

We have two great speakers this month! It should be entertaining for beginners and experts alike.

PS: Very sorry for the late announcement! I'll try my best not to announce this late again.

7:00-8:00: Paul Chiusano - How writing generic code in Haskell is a lot like bumper bowling!

This talk is an introduction to reasoning about type inhabitants in Haskell. I'll present a series of type signatures, starting from the very simple, and together we'll explore how parametricity (or lack thereof) in type signatures lets us constrain what function implementations are allowed to do. Time permitting, we'll also cover tricks for using rank n types to further craft meaningful type signatures, and discuss 'free theorems' as well. This will be an interactive talk, beginner friendly, with (hopefully) lots of audience participation!

8:00-9:00: Edward Kmett - Thrist Shopping for Monadic Binds on the Cheap

Ed will launch us headfirst into a brick wall, covering one of his new pet projects: https://github.com/ekmett/thrists

Where:

As always, we will be meeting at Akamai from 7-9pm.

Food:

Pizzas, salad and soda

Logistics:

If you can, please plan on arriving between 6:45pm and 7pm, but there will be someone in the lobby to greet stragglers.

Afterwards:

If you'd like to stick around, a number of us tend to head down to the CBC (http://www.cambrew.com/) or another pub afterwards to socialize. If you would like to give a talk or if you have any questions or concerns, please feel free to follow up here or email one of the organizers.