MuniHac 2022 - Sunday, October 9 - Nicolas Wu: Modular Programming with Effects

A distinctive feature in the design of Haskell was the inclusion of monads as the means of incorporating effects into programs. While it is entirely possible to write effectful programs in a single monolithic monad, there are advantages to decomposing a monad into smaller building bricks that can be layered on top of each other: smaller components are more easily reused and can be flexibly exchanged for others when needs change and improvements are made. Traditionally, this kind of modularity was achieved through the use of monad transformers, and while this approach works well, it imposes a proof burden on the implementer. This talk will explore algebraic and scoped effects as a means of expressing effectful programs where the proof burden is automatically discharged.

Видео MuniHac 2022 - Sunday, October 9 - Nicolas Wu: Modular Programming with Effects канала TNG Technology Consulting GmbH