SkillsCast

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

21st March 2017 in London at CodeNode

This SkillsCast was filmed at 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.

YOU MAY ALSO LIKE:

Thanks to our sponsors

SkillsCast

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.

YOU MAY ALSO LIKE:

Thanks to our sponsors