Ik3sxxnok8f3fesrltqr
Meet up

Hands On Idris: Views - Extending Pattern Matching

Tuesday, 7th March at CodeNode, London

This meetup was organised by London Haskell in March 2017

Hands On Idris: Views - Extending Pattern Matching

This is the fifth of a series of hands on Idris meetings working through Edwin Brady's forthcoming 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 chapter 10: Views and extending Pattern Matching. Defining views, which describe alternative forms of pattern matching. Introducing the with construct for working with views. Describing efficient traversals of data structures. Hiding the representation of data behind view.

Thanks to our sponsors

Attending Members

Overview

Hands On Idris: Views - Extending Pattern Matching

This is the fifth of a series of hands on Idris meetings working through Edwin Brady's forthcoming 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 chapter 10: Views and extending Pattern Matching. Defining views, which describe alternative forms of pattern matching. Introducing the with construct for working with views. Describing efficient traversals of data structures. Hiding the representation of data behind view.

Thanks to our sponsors

Who's coming?

Attending Members