Just want to note that, while not frequently seen, you can use more powerful abstractions (monad transformers, parser combinators, etc) in OCaml. As an example

Just want to note that, while not frequently seen, you can use more powerful abstractions (monad transformers, parser combinators, etc) in OCaml. As an example consider looking at the Angstrom[1] parser combinator library and my Pure[2] functional base library. [1] https://github.com/inhabitedtype/angstrom https://github.com/inhabitedtype/angstrom [2] https://github.com/rizo/pure https://github.com/rizo/pure