This is the 7th in 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 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.
YOU MAY ALSO LIKE: