@brant they're good DAGs Brent

Schedule:

6:30 -- Doors open; food, drink and chatter.

7:00 -- Tom Harding, Habito -- @brant they're good DAGs Brent

DAGs make up approximately 150% of all the things we need to describe day-to-day as programmers: your company's neat DSL for API logic; your package-managing hobby-project that satisfies a one-person niche; colourful family trees from rural England. Whatever the situation, there's a good chance that your project is going to have a bunch of things that are somehow related.

In this talk, we'll look at how to represent DAGs in a type-safe way, then ramp that type safety up further beyond what is necessary (or even helpful), and finally calm down to somewhere between the two. We'll walk through some use-cases (practical and otherwise) for DAGs, and all come away slightly more afraid of `Typeable`.

Buzzwords include: IxMonads, GADTs, IncoherentInstances, Template Haskell (forgive me, Padre), QuantifiedConstraints, RankNTypes, Data.Dynamic.

About the speaker: Tom writes Haskell and PureScript for Habito, fan fiction for open source contributors, and types for great good.

7:50 -- Talks finish, some more chatter and networking.

8:15 -- Wrap up and move to a local pub.

Logistics:

Habito are based on the 5th floor of the Loom in 5.5 (South side). Habito people should be in the foyer to point in the right direction and the lifts will do the rest.