Re: [Caml-list] Type of term

["Mário José Parreira Pereira" <mariojppereira@gmail.com>]

[-- Attachment #1: Type: text/plain, Size: 941 bytes --]

Hi Lukasz,

Thank you for your answer but I really can't see how GADTs can help me.

I was just simply wandering if there wasn't any OCaml function that 
would work like:
    type_of(let f x = x) = 'a->'a

There is, something that would compute exactly the same outcome as the 
Damas-Milner algorithm W.

Bests,
Mário

Em 06-02-2014 17:17, Lukasz Stafiniak escreveu:
> On Thu, Feb 6, 2014 at 6:17 PM, Mário José Parreira Pereira 
> <mariojppereira@gmail.com <mailto: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.
>
>
> No. However, if you really need this rather than being confused by 
> programming patterns from Java / C# / C++, you should learn about 
> GADTs. 
> http://caml.inria.fr/pub/docs/manual-ocaml-400/manual021.html#toc85
>
> Cheers.


[-- Attachment #2: Type: text/html, Size: 2262 bytes --]