Hands On Idris: Writing Programs with State

Another Hands on Idris (https://en.wikipedia.org/wiki/Idris_(programming_language)) meeting, we are now onto Chapter 12 of Edwin Brady's (https://edwinb.wordpress.com/) recently completed book "Type-Driven Development with Idris (https://www.manning.com/books/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 12: Writing Programs with State. Using the State type to describe mutable state. Implementing custom types for state management. Defining and using records for global system state.

The venue for the meeting is very generously provided by SkillsMatter (https://skillsmatter.com/). Please remember to let them know you are coming by registering on their site: https://skillsmatter.com/meetups/9380-hands-on-idris-writing-programs-with-state