Name: @brant they're good DAGs Brent
Start: 2019-02-20T19:00:00Z
End: 2019-02-20T21:00:00Z
Location: Habito HQ

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.

William Pearson

Derek Wright

Will Jones

London Haskell

Technology

Software Development

Programming Languages

Computer Programming

Haskell

Functional Programming

@brant they're good DAGs Brent

Habito HQ

Share

London Haskell

@brant they're good DAGs Brent

London Haskell

Details

Members are also interested in