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:
- Safe and Reproducible Deployments with Immutable Infrastructure (in Online Event on 28th May 2020)
- The Secrets of the GHC Garbage Collector (in Online Event on 11th June 2020)
- Lightning Talk: Making and Testing Code Generators in Haskell (SkillsCast recorded in October 2019)
- Functional Lenses Through a Practical Lens (SkillsCast recorded in October 2019)