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 F11647F0BA for ; Mon, 6 Feb 2017 17:34:06 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=daniel.buenzli@erratique.ch; spf=None smtp.mailfrom=daniel.buenzli@erratique.ch; spf=None smtp.helo=postmaster@smtp.webfaction.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of daniel.buenzli@erratique.ch) identity=pra; client-ip=74.55.86.74; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="daniel.buenzli@erratique.ch"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of daniel.buenzli@erratique.ch) identity=mailfrom; client-ip=74.55.86.74; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="daniel.buenzli@erratique.ch"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@smtp.webfaction.com) identity=helo; client-ip=74.55.86.74; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="postmaster@smtp.webfaction.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A4qC6bRRoeAwhqhRSH6U/VwJRrdpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6yZRCN2/xhgRfzUJnB7Loc0qyN4vymBjNLscfJmUtBWaQEbwUCh8?= =?us-ascii?q?QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6?= =?us-ascii?q?OPn+FJLMgMSrzeCy/IDYbxlViDanb75/KBq7oR/Tu8QUjodvKaI8wQbVr3VVfO?= =?us-ascii?q?hb2XlmLk+JkRbm4cew8p9j8yBOtP8k6sVNT6b0cbkmQLJBFDgpPHw768PttRnY?= =?us-ascii?q?UAuA/WAcXXkMkhpJGAfK8hf3VYrsvyTgt+p93C6aPdDqTb0xRD+v4btnRAPuhS?= =?us-ascii?q?waLDMy7n3ZhdJsg6JauBKhpgJww4jIYIGOKfFyerrRcc4GSWZdW8pcUTFKDIGh?= =?us-ascii?q?YIsVF+cPM+ZWoZf+qVQMoxuwGA6iC+zzxTFHm3D7xrE63uYjHA3axgEsA9ADvX?= =?us-ascii?q?LJp9v1LqcSVuW1wbHGwzrZafNW2Cny6IzQfR08vemMW7Nxcc7QyUIyEA7Kk0+f?= =?us-ascii?q?qYrkPzyL0uQBqXOU7/d+WuKpim8nrwBxryOxycc2kInGnJ4VylHd9SVk3ok5P8?= =?us-ascii?q?G3SE5ibNOiDZBetDmaOpN0T84tWW1luCY3xqcFtJO6ZiQHypsqywbCZ/GJboSE?= =?us-ascii?q?+A/vWPuMLTtimX5oe72yiwy8/EWm1+byTNO70ExQoSpAitTMtm4C1xjU6sWfUf?= =?us-ascii?q?t9+1uh2S6V2wHd9O5LOk40mrDHJJ49w74wkZwTvV7fES/xnUX6lK6WdkM69ei0?= =?us-ascii?q?8+nqYLrrqoWcOoJ0kA3zMaUjlta9DOk3KgQOWnKU+eW41L3t5035R7BKg+Urna?= =?us-ascii?q?bDtpDaJNoUpqqjDwBOz4Ys9RC/Djai0NQZhnQIMkhFeAidgIj1OlHOOe34Auml?= =?us-ascii?q?j1uwkDdn3+rGMaH5ApXRMnjDl6/scqpn5E5ZzAo/1NRf55NPCrEdO//zQU/wtN?= =?us-ascii?q?nADhAjKQC0wuDnCM981owEQ26PDLWZY+vutgqp+Ospa8aLeIgLszb8N+Nts//w?= =?us-ascii?q?glc4lFIQO66z0s1ERmq/G6FKKkOYbH7bqEMHA2ML9l4yRerrhVnEWyNeYWS2Xo?= =?us-ascii?q?ox/CsyFIO/EIqFTYD70+/J5zuyApADPjMOMVuLC3q9MtzcA/o=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CQAAB2pJhYhkpWN0pdGgEBAQECAQEBA?= =?us-ascii?q?QgBAQEBFQEBAQECAQEBAQgBAQEBhAyEXop6kRmXQ4USgRACgw8VAQEBAQEBAQE?= =?us-ascii?q?BAQESAQEBCAsLCh0vgjMbAYIbAQUjBFIQCw4KAgImAgJHEAYbiWuvEoFrOosrA?= =?us-ascii?q?QEBAQYBAQEBASOBC4owhDqDIC6CMQEEm2acNg+GRpMMNYEggSCEVYFuigkBAQE?= X-IPAS-Result: =?us-ascii?q?A0CQAAB2pJhYhkpWN0pdGgEBAQECAQEBAQgBAQEBFQEBAQE?= =?us-ascii?q?CAQEBAQgBAQEBhAyEXop6kRmXQ4USgRACgw8VAQEBAQEBAQEBAQESAQEBCAsLC?= =?us-ascii?q?h0vgjMbAYIbAQUjBFIQCw4KAgImAgJHEAYbiWuvEoFrOosrAQEBAQYBAQEBASO?= =?us-ascii?q?BC4owhDqDIC6CMQEEm2acNg+GRpMMNYEggSCEVYFuigkBAQE?= X-IronPort-AV: E=Sophos;i="5.33,342,1477954800"; d="scan'208";a="212232293" Received: from mail6.webfaction.com (HELO smtp.webfaction.com) ([74.55.86.74]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 06 Feb 2017 17:34:05 +0100 Received: from [172.16.32.206] (global-184-3.nat-1.net.cam.ac.uk [131.111.184.3]) by smtp.webfaction.com (Postfix) with ESMTP id 77B3621AA605; Mon, 6 Feb 2017 16:34:03 +0000 (UTC) Date: Mon, 6 Feb 2017 17:34:00 +0100 From: =?utf-8?Q?Daniel_B=C3=BCnzli?= To: Ivan Gotovchits Cc: Hendrik Boom , caml-list Message-ID: 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> X-Mailer: sparrow 1.6.4 (build 1178) MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 7bit Content-Disposition: inline Subject: Re: [Caml-list] where are we on the Hoogle for OCaml front? On Monday, 6 February 2017 at 17:07, Ivan Gotovchits wrote: > That's why the search should be up-to some isomorphism, e.g., > > int -> float -> bool > > > is isomoprhic to > > float -> int -> bool The papers you mention seem to be about the type ismorophism theory but I can't see any that tries to asses end-user information needs and retrieval evaluation. I'm not sure you need the full theory to build an effective system to support a programmer, e.g. what about the effectiveness of a full type isomorphism search vs a bag of type identifiers with functional position model. Meaningfully limiting the query power to an IR system is a problem in practice, for space, computational and user interface reasons. D