package selective
Selective applicative functors in OCaml
Install
Dune Dependency
Authors
Maintainers
Sources
selective-0.1.0.tbz
sha256=2b5d766f71f51318f4c6983b7c5d165a30755657efc023d0dfc60432224a6904
md5=85de6935debe7988f843bf1fca3df8ca
Description
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.
See examples in the doc directory.
Published: 20 Feb 2019
README
Selective applicative functors
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.
On This Page