Re: [Caml-list] What am I reinventing here?

[Andre Nathan <andre@digirati.com.br>]

On Tue, 2012-02-14 at 11:09 +0100, Gabriel Scherer wrote:
> Here is an attempt at a functor translation. Note that's it's mostly a
> glorified way to do exactly the same thing. Passing a module or a
> record of operation is not very different; yet a module can carry
> types so you don't have to parametrize your operations explicitly.

Thank you Gabriel.

> module Make (O : OPS) = struct
>   let foo = O.bar_of_foo
>   let bar = O.foo_of_bar
> end

Would it be correct to say that it isn't possible to specify a signature
S for the output module like

module Make (O : OPS) : S = struct
  ...
end

that would still make pattern-matching outside of the module possible?

Thanks,
Andre