Ik3sxxnok8f3fesrltqr
Meet up

Hands On Idris: Streams and Processes - Working with Infinite Data

Tuesday, 21st March at CodeNode, London

This meetup is run by London Haskell. Starts at 6:30 PM.

Hands On Idris: Streams and Processes - Working with Infinite Data

This is the sixth in 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 11: Streams and processes and working with infinite data. Generating and processing streams of data. Distinguishing terminating and productive total functions. Defining total interactive processes using infinite streams.

Thanks to our sponsors

Attending Members

Overview

Hands On Idris: Streams and Processes - Working with Infinite Data

This is the sixth in 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 11: Streams and processes and working with infinite data. Generating and processing streams of data. Distinguishing terminating and productive total functions. Defining total interactive processes using infinite streams.

Thanks to our sponsors

Who's coming?

Attending Members