Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Chapter 15
Stream processing and incremental I/0

May 30, 2022
June 6, 2022
June 13, 2022

Presenter

15.1 Problems with imperative I/O: an example

Meisam - May 30

15.2 Simple stream transducers
15.2.1 Creating processes

Antonio - June 6

15.2.2 Composing and appending processes
15.2.3 Processing files

Casey - June 6

15.3 An extensible process type
15.3.1 Sources
15.3.2 Ensuring resource safety

Casey - June 13

15.3.3 Single-input processes
15.3.4 Multiple-input streams

15.3.5 Sinks
15.3.6 Effectful channels

15.3.7 Dynamic resource allocation
15.4 Applications

T

Chapter 14
Local effects and mutable state

May 23, 2022

Presenter

14.1 Purely functional mutable state

Casey

14.2 A data type to enforce scoping of side effects
14.2.1 A little language for scoped mutation
14.2.2 An algebra of mutable references

Casey

14.2.3 Running mutable state actions
14.2.4 Mutable arrays
14.2.5 A purely functional in-place quicksort

Meisam - May 30

14.3 Purity is contextual

Casey - May 30

...