From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 20A7E7F0BA for ; Mon, 6 Feb 2017 17:11:49 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=ivg@ieee.org; spf=Pass smtp.mailfrom=ivg@ieee.org; spf=None smtp.helo=postmaster@mail-it0-f51.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of ivg@ieee.org) identity=pra; client-ip=209.85.214.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="ivg@ieee.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of ivg@ieee.org designates 209.85.214.51 as permitted sender) identity=mailfrom; client-ip=209.85.214.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="ivg@ieee.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-it0-f51.google.com) identity=helo; client-ip=209.85.214.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="postmaster@mail-it0-f51.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A99zgGRViTjESiPQBIw5oGBiMMDHV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbBGCt8tkgFKBZ4jH8fUM07OQ6PG8HzNfqsbc+Fk5M7V0Hycfjs?= =?us-ascii?q?sXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6?= =?us-ascii?q?KfroEYDOkcu3y/qy+5rOaAlUmTaxe71/IRG5oAnLtMQbg4RuJ6UxxxDUvnZGZu?= =?us-ascii?q?NayH9yK1mOhRj8/MCw/JBi8yRUpf0s8tNLXLv5caolU7FWFSwqPG8p6sLlsxnD?= =?us-ascii?q?VhaP6WAHUmoKiBpIAhPK4w/8U5zsryb1rOt92C2dPc3rUbA5XCmp4ql3RBP0ji?= =?us-ascii?q?oMKiU0+3/LhMNukK1boQqhpx1hzI7SfIGVL+d1cqfEcd8HWWZNQsNdWipGDY2h?= =?us-ascii?q?cosPFPIBMvhEoInhqVUOqh6+ChOtBOPp1zREgnD70Kk/3+knDArI3hEvH8gWvX?= =?us-ascii?q?vWotX7NKkcX+OowqfW0TrOdOlZ1Svn5YXSbhwtvfOBULRtesTR00kvEAbFg02T?= =?us-ascii?q?p4z7JTyV0PkGvWmc7+p8UuKvlXIoqwFwojiz3ccnl47EhoMLylDL7ih5wZg6Ks?= =?us-ascii?q?OmR0JhZt6kCpRQujicOoBrTM0iRGRotzw7yr0AoZO0YSkKx4ggxx7EbvyHdJKE?= =?us-ascii?q?4hX5VOaeOTt4hXRleKi+hxmo60SgxPf8WtG00VlQripFld7MumoR2BzU78iKTO?= =?us-ascii?q?Z28ES52TuXyQzf9uVJLVo3mKfbMZIt3KM8m5UJvUnDAyP7nlj9grWMeUU+4Oeo?= =?us-ascii?q?7vzqYrX4qZ+YMI95kgT+Pb4vmsy7GOg4MxQOU3SC9eSy1LDv4Ff1QLpNjv0xna?= =?us-ascii?q?nZtI7VKd4Hqa6+Bg9Zyocj6xChADe6yNkUg2ULIVZfdB+Ej4XlIU/CLO33APul?= =?us-ascii?q?g1mgjS9nx/XcMb3gBpXNIGLDkLDkfbtl6k5c1gUzwMte551KFL4OPuj/WkjrtN?= =?us-ascii?q?zXFhM5KRC7w/77CNVh0YMTQX6ADbWcMKPWqFOI4uMvI/KQZIIOozb8K/0l5+b0?= =?us-ascii?q?gnMjmF8de7Op3ZoNZ3yiEPRmORbRXX25rt4HEGoOiSCqSv7uiRXWXTdVZnu2Ga?= =?us-ascii?q?gh6zcpDIOOAJ3ZT5ysmaGMmiy7SM54fGdDX3GSGHGgWIKYXOkHaCOOOYc1kyIL?= =?us-ascii?q?fbmsRoJn0guh4lypg4F7J/bZr3VL/ano08J4sqiOzBw=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CkAADrn5hYhjPWVdFdGQEBAQEBAQEBA?= =?us-ascii?q?QEBBwEBAQEBFAEBAQEBAQEBAQEBBwEBAQEBg0o/gQkHg1GcE4I6jVGHOCqEaIE?= =?us-ascii?q?QAoJFB0IVAQEBAQEBAQEBAQESAQEBCAsLCh0vgjMbghwBBSMEGQEBLAsBDwsEB?= =?us-ascii?q?w0NHQICIhIBBQEKEgYTCQmJSQMIDQ6iPj+LGmiBazqDCAEBBYQiA4N2AQEBAQE?= =?us-ascii?q?BBAEBAQEBAQEBGAgShjqEb4UBglmCX4c1DIh/iyuGaIMfiAKCTo40hnqKSxQeg?= =?us-ascii?q?RUPJoEgXAg8FwWDbyogggsiNQGJFAEBAQ?= X-IPAS-Result: =?us-ascii?q?A0CkAADrn5hYhjPWVdFdGQEBAQEBAQEBAQEBBwEBAQEBFAE?= =?us-ascii?q?BAQEBAQEBAQEBBwEBAQEBg0o/gQkHg1GcE4I6jVGHOCqEaIEQAoJFB0IVAQEBA?= =?us-ascii?q?QEBAQEBAQESAQEBCAsLCh0vgjMbghwBBSMEGQEBLAsBDwsEBw0NHQICIhIBBQE?= =?us-ascii?q?KEgYTCQmJSQMIDQ6iPj+LGmiBazqDCAEBBYQiA4N2AQEBAQEBBAEBAQEBAQEBG?= =?us-ascii?q?AgShjqEb4UBglmCX4c1DIh/iyuGaIMfiAKCTo40hnqKSxQegRUPJoEgXAg8FwW?= =?us-ascii?q?DbyogggsiNQGJFAEBAQ?= X-IronPort-AV: E=Sophos;i="5.33,342,1477954800"; d="scan'208,217";a="212228956" Received: from mail-it0-f51.google.com ([209.85.214.51]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 06 Feb 2017 17:11:47 +0100 Received: by mail-it0-f51.google.com with SMTP id 203so57725159ith.0 for ; Mon, 06 Feb 2017 08:11:47 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ieee-org.20150623.gappssmtp.com; s=20150623; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=zatIj7gsGcyySZ0mNoB/vvuJeBr+YdsZxlC/QzJVrcM=; b=Z8bFb0F/Y4nh25EscE8oLMxlbw3JqK/i5xTMIoC06tOFFzPU/xN4RxC7XNrMNmCE+x g4QXrZbkQBImBAOxPJ7+ey5PJBmdIPVI967lhx5K4I+Vkx34UUYCiUQSTjSvAxlN+jVk wLTmerxT410ZnK7uOxJrfiQueFHOVRH3VeWzluMtnLy5+ed9YH7LKWY74aBhVGHUavWb eFIuqRINq+PRjHJgIt8JAZ4toOLZxpbxt3YIWG6fk4AQ1OG0kWoekIz+VHeRajk376kX EfG/HBHo9k5d6q4aDRx/UiZj/5p+AIenr3Ipx23pctwHHKmDa+9oglc+T4UTbeMXXEvM Go9w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=zatIj7gsGcyySZ0mNoB/vvuJeBr+YdsZxlC/QzJVrcM=; b=LX3bgfuyZzHQUP5jYjMlOUJjn2zVyj/B1nQmKMSPaGPuc67a/BGq6t/QCN/0lh1AHv gIKrHtHexaXxSX+If9K49oZ1gmlPw8ViIagXycnVJWba+i1YMjzp46FQ6DlcUJ/Z1L+U 1eF2pthGzQEUvA0ZKp0YOaSlhL1TiXzthfF6gUy3OP089YWuopdqrthKcCGRNElI3BrW Z1lKxpSoc9LcjEitKi5fNGHAITv2GXcrAmSdNzyLv70W2elVP2pdssybezApedLiBzTb qd9mRg31yI4i56DT5pOF08TF3OV/pxjjb1YzGS+vKcWVETNwsgYehDdQj+/u4mazUXI0 ynBQ== X-Gm-Message-State: AIkVDXKE9GXMJsL40vdNA8Aq9b7ID0JFwm///vzo+zOOM7VRNg3RpxtzDwZXvVN6YnpV8UZKhcXdajgaNvQEtRcd X-Received: by 10.36.217.150 with SMTP id p144mr8182154itg.90.1486397506359; Mon, 06 Feb 2017 08:11:46 -0800 (PST) MIME-Version: 1.0 Received: by 10.107.175.130 with HTTP; Mon, 6 Feb 2017 08:11:45 -0800 (PST) In-Reply-To: References: <20170127142246.919C212146E@mcclellan.cs.miami.edu> <416beaa2-9430-20fe-d8fa-e9f02761378f@vanderbilt.edu> <67BCE44C836B466EBD22FC5CE5A4CD13@erratique.ch> <20170206140253.GA20685@topoi.pooq.com> <047710BD79374AC295A49E129B38B01B@erratique.ch> From: Ivan Gotovchits Date: Mon, 6 Feb 2017 11:11:45 -0500 Message-ID: To: =?UTF-8?Q?Daniel_B=C3=BCnzli?= Cc: Hendrik Boom , caml-list Content-Type: multipart/alternative; boundary=001a1145e7165ccf3c0547dee307 Subject: Re: [Caml-list] where are we on the Hoogle for OCaml front? --001a1145e7165ccf3c0547dee307 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable 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 wrote: > > > On Mon, Feb 6, 2017 at 11:00 AM, Daniel B=C3=BCnzli < > 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 >> > > --001a1145e7165ccf3c0547dee307 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
This is a link [1] to the underlying theory of type isomor= phism search, for those who are interested:


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


On Mon, Feb 6, 2017 at 11:00 AM, Da= niel B=C3=BCnzli <daniel.buenzli@erratique.ch> wro= te:
On Monday, 6 February 2017 at 1= 5: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 ap= pear in that position --- but I'm not sure that's an information ne= ed users often have.


= That's why the search should be up-to some isomorphism, e.g.,=C2=A0

=C2=A0 =C2=A0 =C2=A0int -> float -> bool
<= div>

is isomoprhic to

=C2=A0 =C2=A0float -> int -> bool


The seach should also work correctly with lots of aliases, since it i= s usual when the same type or value in OCaml has mutliple names. The seach = should also ignore parameter names,=C2=A0
as this is not what a u= ser can know in advance.=C2=A0

= =C2=A0


D



--
Caml-list mailing list.=C2=A0 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


--001a1145e7165ccf3c0547dee307--