This is a link [1] to the underlying theory of type isomorphism search, for
those who are interested:

[1]: http://www.dicosmo.org/ResearchThemes/ISOS/ISOShomepage.html

On Mon, Feb 6, 2017 at 11:07 AM, Ivan Gotovchits <ivg@ieee.org> wrote:

>
>
> On Mon, Feb 6, 2017 at 11:00 AM, Daniel Bünzli <
> daniel.buenzli@erratique.ch> wrote:
>
>> On Monday, 6 February 2017 at 15:02, Hendrik Boom wrote:
>> > It is very useful to find all the
>> > functions that do anything with values of a particular type in order
>> > to find out what you can do with it. As well as how you can produce
>> > values of that type.
>>
>> Sure but boolean queries on type identifiers seems enough for this. Of
>> course you can always wish to be more precise --- I want this type to
>> appear in that position --- but I'm not sure that's an information need
>> users often have.
>
>
>
> That's why the search should be up-to some isomorphism, e.g.,
>
>      int -> float -> bool
>
>
> is isomoprhic to
>
>    float -> int -> bool
>
>
> The seach should also work correctly with lots of aliases, since it is
> usual when the same type or value in OCaml has mutliple names. The seach
> should also ignore parameter names,
> as this is not what a user can know in advance.
>
>
>
>>
>>
>> D
>>
>>
>>
>> --
>> Caml-list mailing list.  Subscription management and archives:
>> https://sympa.inria.fr/sympa/arc/caml-list
>> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
>> Bug reports: http://caml.inria.fr/bin/caml-bugs
>>
>
>