SkillsCast

Hands On Idris: Views - Extending Pattern Matching

7th March 2017 in London at CodeNode

This SkillsCast was filmed at 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.

YOU MAY ALSO LIKE:

Thanks to our sponsors

SkillsCast

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.

YOU MAY ALSO LIKE:

Thanks to our sponsors