selective
Selective applicative functors in OCaml
README
This is a study of selective applicative functors, an abstraction between Applicative
and Monad
.
The idea was first prototyped in Haskell, and now we are
exploring its translation to OCaml.
Further reading
A blog post introducing selective applicative functors: https://blogs.ncl.ac.uk/andreymokhov/selective.