There is an amazing book called Category Theory for Programmers by Bartosz Milewski. At first, it was focused on Haskell mostly, added Scala support after. But then someone stepped in to add the OCaml variant of this book.
So writing this message as both a recommendation for the book itself and to make you aware (and even better - to help) of the ongoing effort to make it OCaml-friendly.
Hello, I’ve been working on translating this book in OCaml for few months now. @mseri has been kind enough to review all of my OCaml snippets and provide feedback. As we approach the final stages of this book(I’m currently translating snippets in Chapter21) and the book shows some advanced code, we were wondering if it’d be better to get more eyes on the OCaml snippets. Would anyone else be interested in reviewing the OCaml snippets of this book, atleast from Chapter 20 and out?