Shadowgraph
TrendingAbout
Sign in

snowleopard/selective-ocaml

Selective Applicative Functors in OCaml: Declare Your Effects Statically, Select Which to Execute Dynamically

OCaml

48

25 commits

updated Mar 6, 2019

See the code

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

Contributors

jeremiedimino

15 commits

snowleopard

9 commits

kevinji

1 commits

Similar repos

snowleopard/selective

Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically

213

same org

IndiscriminateCoding/clarity

Functional programming library for OCaml

59

slindley/effect-handlers

83

yallop/effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects

1,149

dhil/ocaml-multicont

multi-shot continuations in OCaml

56

lemastero/scala_typeclassopedia

Abstractions from Category theory with simple description & implementation, links to further…

385

Gabriella439/Haskell-MMorph-Library

Monad morphisms

53

evancz/automaton

experimental library for Arrowized FRP in Elm

43

Languages

OCaml

98.8%

Makefile

1.2%

snowleopard/selective-ocaml

Selective Applicative Functors in OCaml: Declare Your Effects Statically, Select Which to Execute Dynamically

OCaml

48

25 commits

updated Mar 6, 2019

See the code

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

Similar repos

snowleopard/selective

Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically

213

same org

IndiscriminateCoding/clarity

Functional programming library for OCaml

59

slindley/effect-handlers

83

yallop/effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects

1,149

dhil/ocaml-multicont

multi-shot continuations in OCaml

56

lemastero/scala_typeclassopedia

Abstractions from Category theory with simple description & implementation, links to further…

385

Gabriella439/Haskell-MMorph-Library

Monad morphisms

53

evancz/automaton

experimental library for Arrowized FRP in Elm

43

Contributors

jeremiedimino

15 commits

snowleopard

9 commits

kevinji

1 commits

Languages

OCaml

98.8%

Makefile

1.2%