Skip to content(if available)orjump to list(if available)

Basic dependency injection in OCaml with objects

Basic dependency injection in OCaml with objects

3 comments

·August 18, 2025
Visit

pdhborges

The author keeps aluding to the problem of loss of type inference without giving any example. I have no idea if the problem is relevant or not.

IsTom

I think it's the part where he says you need additional separate module signature or to take two modules as parameters. With objects ocaml will infer object's signature for you and with modules you need to (directly or indirectly) pass it explicitely in arguments.

nukifw

In the `show_content` example, using first class modules: `module H : ...`. The type need to be specified and since module composition is hard, it leads to very verbose solution