Meet up

Hands On Idris: Type-safe Concurrent Programming

Tuesday, 16th May in London

This meetup was organised by London Haskell in May 2017


Hands On Idris: Type-safe Concurrent Programming

This meeting is part of a series of hands on Idris meetings working through Edwin Brady's new book "Type-Driven Development with Idris".

The aim is to get everybody coding so please bring a laptop. There will be a short talk to introduce the material and then we will work through as many exercises as we have time for.

This session covers that last chapter 15: Type-safe concurrent programming. Using concurrency primitives, defining a type for describing concurrent processes and using types to ensure concurrent processes communicate consistently.

Thanks to our sponsors

Who's coming?

Attending Members