Name: Hands On Idris: Writing Programs with State
Start: 2017-04-04T18:30:00+01:00
End: 2017-04-04T21:30:00+01:00
Location: Code Node

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

Derek Wright

William Pearson

London Haskell

Technology

Software Development

Programming Languages

Computer Programming

Haskell

Functional Programming

Hands On Idris: Writing Programs with State

Code Node

Share

London Haskell

Hands On Idris: Writing Programs with State

London Haskell

Details

Members are also interested in