Basic dependency injection in OCaml with objects
gr-im.github.io
Basic dependency injection in OCaml with objects
1–4 of 4 posts
Re: Basic dependency injection in OCaml with objects
#2The 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.
Re: Basic dependency injection in OCaml with objects
#3The 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.
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
Re: Basic dependency injection in OCaml with objects
#4The 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.
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.