On Thu, Feb 6, 2014 at 6:17 PM, Mário José Parreira Pereira <
mariojppereira@gmail.com> wrote:

> Hi all,
>
> Is there any way to get the type of (part of) a program? Something like:
>    type_of(M) = sigma
> computing the type of program M as sigma so I can pattern match it.
>
>
Besides GADTs, another thing that comes to mind is "module type of":

http://caml.inria.fr/pub/docs/manual-ocaml-400/manual021.html#toc82

There is even pattern matching to recover a module from a module value
(first-class modules), but it doesn't benefit from knowing the type of the
module.