Marcello Seri

This unfortunately still fails to link in many distributions: ``` #=== ERROR while compiling based64.1.0 ========================================# # context 2.2.0~alpha~dev | linux/x86_64 | ocaml-base-compiler.4.14.0 | pinned(https://github.com/tewonobasu/based64/archive/1.0.tar.gz) # path ~/.opam/4.14/.opam-switch/build/based64.1.0 # command...

This is the way OCaml allows to abstract over common signatures, there are no typeclasses. One could use first class modules instead of module functors but it would not work...

I’ll have a read as soon as I can, likely in a couple of weeks, to check all that could be simplified. But in most cases I think we have...

The Prelude is a good idea, indeed. I think it would be worth even if it will not help once you deal with the chapters on Monoid/Monad/Comonad/Fix/... where you really...

Concerning the composition, I think you may also want to have a look here: https://github.com/hmemcpy/milewski-ctfp-pdf/pull/201#discussion_r379867501

There is also one more question here. The fist chapter contains lots of module types to make te code fully compilable ocaml, where type signature go separate from the implementation...

I have been thinking about it as well. I have no time at the moment, but it is on my todo list. I would be happy to review them if...

@ArulselvanMadhavan I have collected some materal that may help you in the quest. The following packages have nice "higher order" structure implementations: https://github.com/IndiscriminateCoding/clarity, https://github.com/BinaryAnalysisPlatform/bap/tree/master/lib/monads The following blog or forum posts...

@ArulselvanMadhavan sure, where should I look?

Done :) Sorry for the long silence