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 CFC137F0BA for ; Mon, 6 Feb 2017 17:07:10 +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-f44.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.44; 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.44 as permitted sender) identity=mailfrom; client-ip=209.85.214.44; 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-f44.google.com) identity=helo; client-ip=209.85.214.44; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="postmaster@mail-it0-f44.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AKGLHCBKmo07Fxl7uz9mcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgeKf3xwZ3uMQTl6Ol3ixeRBMOAuq4C1LWd4/2ocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbQhFgDWwbalwIRi0ognctckbipZ+J6gszRfEvmFGcP?= =?us-ascii?q?lMy2NyIlKTkRf85sOu85Nm7i9dpfEv+dNeXKvjZ6g3QqBWAzogM2Au+c3krgLD?= =?us-ascii?q?QheV5nsdSWoZjBxFCBXY4R7gX5fxtiz6tvdh2CSfIMb7Q6w4VSik4qx2UxLjlj?= =?us-ascii?q?sJOCAl/2HWksxwjbxUoBS9pxxk3oXYZJiZOOdicq/BeN8XQ21OUNtMVyxaGoOz?= =?us-ascii?q?cZcAD/YPM+ZfqonyvVoOrR2jDgWoC+7izjpEi3nr1qM4zushCxnL0w4uH9wOvn?= =?us-ascii?q?rar8j7OrkOXu2u1qbE0S/OYulK1Tvh6oXFdA0qr/GWXbJ3dMrc0UohFx3fgVWW?= =?us-ascii?q?tIfrPjSV1vgKs2iF8+VgVeOvi3I8qwpspTWvx9ksiobSi4IU1F/L6zt2zJwyJd?= =?us-ascii?q?2iR052eNipG4ZeuSGdMot5WMIiQ2dwtSY7zL0Go5+7czIQxJQp3R7Tc/yGfJKI?= =?us-ascii?q?4hLkU+adOyt3hHVgeL+5mh288lCgx/XiWsWo1FtGtClIn9nWunwTyhDe5dKLR/?= =?us-ascii?q?Ry80qnxD2BzRrc6vteLkAxjafbK4Auwro3lpcLtETMBC72mEHvgK+XakUo5vGk?= =?us-ascii?q?6+rob7jpvJOcOIh0igbxMqQqhMOzG/g3Mg8LX2SD+OS80qPs/VHhTblUkvE7lr?= =?us-ascii?q?PVvZPaKMgBuKK1HgBY3pws5huwFzum1c4XnXgDLFJLYhKHiI3pNknPIPDmAvey?= =?us-ascii?q?mFWsnyl1yP/YJLHhBY/NLnfbnLf7Ybl981JcyBY0zd1H+51bELQBIPbqVk/1td?= =?us-ascii?q?zYFQM5Phevw+fnDdV9zpkRVXiOAq+fKqPSsEWH6vghI+mWN8cpv2PRIv4k6vrZ?= =?us-ascii?q?p+s/i1scNf2l1J0WZXT+FOlrJVedYFLhmM0IDWYTowd4R+y823OYVjsGRmi7We?= =?us-ascii?q?oT4S08FommDJvYDtSsnrOp3Sq2E9tRfG8QWQPEKmvha4jRA6REUymVOMI012Fd?= =?us-ascii?q?WA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CIAAC6nphYhizWVdFdGgEBAQECAQEBA?= =?us-ascii?q?QgBAQEBFQEBAQECAQEBAQgBAQEBhAmBCQeDUZwTgjqNUYc4KoRogRACgkUHQhU?= =?us-ascii?q?BAQEBAQEBAQEBARIBAQEICwsKHS+CMxuCGwEBAQMBIwQZAQEsCwEECwsEBw0NH?= =?us-ascii?q?QICIhIBBQEKEgYTEolJAwgFCA6iOz+LGmiBazqDCAEBBYQhA4N2AQEBAQEBBAE?= =?us-ascii?q?BAQEBAQEBGAgShjqEb4UBglmCX4c1DIh/iyuGaIMfiAKCTo40hnqKSxQegRUPJ?= =?us-ascii?q?oEgXAg8FwWDbyogggsiNQGJFAEBAQ?= X-IPAS-Result: =?us-ascii?q?A0CIAAC6nphYhizWVdFdGgEBAQECAQEBAQgBAQEBFQEBAQE?= =?us-ascii?q?CAQEBAQgBAQEBhAmBCQeDUZwTgjqNUYc4KoRogRACgkUHQhUBAQEBAQEBAQEBA?= =?us-ascii?q?RIBAQEICwsKHS+CMxuCGwEBAQMBIwQZAQEsCwEECwsEBw0NHQICIhIBBQEKEgY?= =?us-ascii?q?TEolJAwgFCA6iOz+LGmiBazqDCAEBBYQhA4N2AQEBAQEBBAEBAQEBAQEBGAgSh?= =?us-ascii?q?jqEb4UBglmCX4c1DIh/iyuGaIMfiAKCTo40hnqKSxQegRUPJoEgXAg8FwWDbyo?= =?us-ascii?q?gggsiNQGJFAEBAQ?= X-IronPort-AV: E=Sophos;i="5.33,342,1477954800"; d="scan'208,217";a="212228271" Received: from mail-it0-f44.google.com ([209.85.214.44]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 06 Feb 2017 17:07:09 +0100 Received: by mail-it0-f44.google.com with SMTP id r185so60033862ita.0 for ; Mon, 06 Feb 2017 08:07:09 -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=UER2bEh08TQSuhpIdVgpo3fUOc9xJ7iJ0WrtVHbcvz0=; b=xCceo9EXcEHCLPS6t78k1Y6uYZw+dGfriwyWVVTlomwVWFNdeZwZ4fQNrxYUrx9u+i Rx88xapuaEeKviHpCgKq2Ky7Gy30HZhXtheG2La0dvMeRpFiC+J3CtcJyjrzDS+fWExA +MIgDJfgZW4NTqP26A3zY8/f99fIQPNST683LThvzKLoaReQHQbdcbiNYyC9aIO/KnP5 7Q/cWCP842oeHAhEel9LNUMXgVuRVCq5gn1XzSU9WecxhC4OBLOXedFw9OI12SDQL34/ cQ3K8Lxz5VZXUm2ZX/YBtaD9V9jAxEHcsKHvTw3lfx3xWOezkSKeM2RPtzyDGn+n591m GOfA== 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=UER2bEh08TQSuhpIdVgpo3fUOc9xJ7iJ0WrtVHbcvz0=; b=lc/TxpopM0fT3aLT+pi5krbEoINdE2Vvd0P99fyuz3Uvh0Qh8q+UwX/XxygvPc/JFt 3QdvkL5FqYuRl4BqLano5ULIaAmdxAxRsWThGbCpVdZugpwSwUdYkmbf+BEksonHXmee CvRcO9/pk/Z1ATIMs0D+KO7XcCweKxyFxfAmZP8Jolgi5hwOrBEcsGJChhKNlBatBFXg e23NtFcAeafmWuLcSyNjD0LXOYKgmqCWN/n1pzaKqRqsF/wRzHhlMxauoRWF0ouQot3g n0sKrJ3WoKfghmf6MIA1eLHzX/qqUflJm0GTtQtRcqU+/xKRZf01N1Q3IXdb+qHW6jAb IfTA== X-Gm-Message-State: AIkVDXKzMQNMPiSuIbmOeWnZzjzb684bp5uJemtYq+Vk6cW7hhO4ik5pfRUNaskFvRGIAVauyr+OzSB2sLuCNBR6 X-Received: by 10.36.84.148 with SMTP id t142mr8187159ita.90.1486397227759; Mon, 06 Feb 2017 08:07:07 -0800 (PST) MIME-Version: 1.0 Received: by 10.107.175.130 with HTTP; Mon, 6 Feb 2017 08:07:07 -0800 (PST) In-Reply-To: <047710BD79374AC295A49E129B38B01B@erratique.ch> 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:07:07 -0500 Message-ID: To: =?UTF-8?Q?Daniel_B=C3=BCnzli?= Cc: Hendrik Boom , caml-list Content-Type: multipart/alternative; boundary=001a1143a6ccc19e040547ded2a0 Subject: Re: [Caml-list] where are we on the Hoogle for OCaml front? --001a1143a6ccc19e040547ded2a0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable On Mon, Feb 6, 2017 at 11:00 AM, Daniel B=C3=BCnzli 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 > --001a1143a6ccc19e040547ded2a0 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable


On Mon, Feb 6, 2017 at 11:00 AM, Daniel B=C3=BCnzli &= lt;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 ap= pear in that position --- but I'm not sure that's an information ne= ed users often have.


That= 9;s why the search should be up-to some isomorphism, e.g.,=C2=A0
=
=C2=A0 =C2=A0 =C2=A0int -> float -> bool

is isomoprhic to

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


T= he 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,=C2=A0
as this is not what a user 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

--001a1143a6ccc19e040547ded2a0--