Paper 51: Selective functors

Mark Hopkins will take us through the following paper:

Selective Applicative Functors
https://www.staff.ncl.ac.uk/andrey.mokhov/selective-functors.pdf
Andrey Mokhov, Georgy Lukyanov, Simon Marlow, Jeremie Dimino

Abstract

Applicative functors and monads have conquered the world of functional programming by providing general and powerful ways of describing effectful computations using pure functions. Applicative functors provide a way to compose independent effects that cannot depend on values produced by earlier computations, and all of which are declared statically. Monads extend the applicative interface by making it possible to compose dependent effects, where the value computed by one effect determines all subsequent effects, dynamically. This paper introduces an intermediate abstraction called selective applicative functors that requires all effects to be declared statically, but provides a way to select which of the effects to execute dynamically. We demonstrate applications of the new abstraction on several examples, including two real-life case studies.