SkillsCast

Hands On Idris: Predicates - Expressing Assumptions and Contracts in Types

21st February 2017 in London at CodeNode

This SkillsCast was filmed at Hands On Idris: Predicates - Expressing Assumptions and Contracts in Types

This is the fourth of a series of hands on Idris meetings working through Edwin Brady's forthcoming book "Type-Driven Development with Idris".

This is the fourth 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 9: Describing and checking membership of a vector using a predicate. Using predicates to describe contracts for function inputs and output. Reasoning about system state in types.

YOU MAY ALSO LIKE:

Thanks to our sponsors

SkillsCast

This is the fourth of a series of hands on Idris meetings working through Edwin Brady's forthcoming book "Type-Driven Development with Idris".

This is the fourth 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 9: Describing and checking membership of a vector using a predicate. Using predicates to describe contracts for function inputs and output. Reasoning about system state in types.

YOU MAY ALSO LIKE:

Thanks to our sponsors