Hello,
This is related to my previous post, Business models motivating OCaml. I found:
Are there any OCaml projects which aim to well-utilize Category theory to solve real-world challenges?
Not sure it it’s what you’re thinking of, but Jane Street Base has functors for monads and applicatives which are used extensively in the rest of the project.
I don’t know whether this is a concrete application of category theory or a real-world project, but YOCaml was historically designed to give Preface concrete use cases, and makes extensive use of Arrows (strong profunctors associated with Category).
2 Likes
There is also BAPs Std (monads.Monads.Std).
Also, iiuc, the CAML roots of OCaml are an instance of applied category theory, so while it may have grown far from its roots, OCaml itself is such a project? Categorical abstract machine - Wikipedia
2 Likes
I started writing a series of articles about Pragmatic Category Theory in OCaml, and there’s a repository with examples:
If you’re interested in a complete project, I made CCL: Categorical Configuration Language which leverages multiple Category Theory concepts:
I’m currently working on a GitHub TUI project in OCaml but the usage of CT concepts is not that crazy there. For now, I only use Semigroup and Monoids (which some people don’t even consider part of CT but just Abstract Algebra).
1 Like