From Andrey Mokhov's twitter feed:

Is there any intermediate abstraction between applicative functors and monads? And if yes, what is it? In a new paper with @geo2A, @simonmar and @dimenix we explore "selective functors", which are essentially applicative functors with branching: https://www.staff.ncl.ac.uk/andrey.mokhov/selective-functors.pdf

We've implemented selective functors in Haskell: https://github.com/snowleopard/selective, OCaml: https://github.com/snowleopard/selective-ocaml, and even Coq: https://github.com/tuura/selective-theory-coq (the Coq repository contains some proofs of correctness that our selective instances are lawful). And there is also a PureScript fork!

## Recent comments

6 hours 8 min ago

6 hours 10 min ago

6 hours 12 min ago

1 day 16 hours ago

5 days 10 hours ago

6 days 9 hours ago

1 week 12 hours ago

1 week 2 days ago

1 week 4 days ago

1 week 4 days ago