An OCaml implementation of some functional data abstractions.
Currently ongoing. Documentation should be found in:
.mli
files of the accompanying data structures- in the examples folder, which also act as tests.
Initially my plan was to replicate the functional Scala library Cats. However, after looking into what this library comprises, I found that:
- Most data classes are already implemented (in Base or Travesty, which this library builds on top of).
- Most data types are pretty narrow in use, such that it’s probably easier and more performant to just hand-write your own implementations in OCaml (E.g. take a look at Kleisli compositions, validations and writers).
So this repo has deviated in design, and became more of OCaml implementations of cool things I learnt while going through FP in Scala with my friends.
$ dune build
$ dune runtest
Soon(TM)