From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 005877FCD0 for ; Mon, 6 Feb 2017 16:53:40 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=hendrik@topoi.pooq.com; spf=None smtp.mailfrom=hendrik@topoi.pooq.com; spf=None smtp.helo=postmaster@april.topoi.pooq.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of hendrik@topoi.pooq.com) identity=pra; client-ip=69.165.131.134; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="hendrik@topoi.pooq.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of hendrik@topoi.pooq.com) identity=mailfrom; client-ip=69.165.131.134; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="hendrik@topoi.pooq.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@april.topoi.pooq.com) identity=helo; client-ip=69.165.131.134; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="postmaster@april.topoi.pooq.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AQn6mGhbivWXZV9rYOpTePCf/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZoM2zbnLW6fgltlLVR4KTs6sC0LuK9f+/Ejxaqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjSwbLd9IRmsrwjctMYajIh8Jq0s1hbHv3xEdv?= =?us-ascii?q?hMy2h1P1yThRH85smx/J5n7Stdvu8q+tBDX6vnYak2VKRUAzs6PW874s3rrgTD?= =?us-ascii?q?QhCU5nQASGUWkwFHDBbD4RrnQ5r+qCr6tu562CmHIc37SK0/VDq+46t3ThLjlS?= =?us-ascii?q?EKPCM7/m7KkMx9lKxVrhK/qRJiwIDUbo6aO+Zjca3Sf9wVS3FMXtpSWiFbHo+w?= =?us-ascii?q?c5ECA/cHMO1Fr4f9vVwOrR6mCAeuGuzvzCJHhmX33a05zu8sDAbG3AslH9kTt3?= =?us-ascii?q?nUrMv6NKEPXuCvzanIzi7Ob+9R2Tfl74jIcwotoemLXbJ3aMrd01UgFwTAjliJ?= =?us-ascii?q?r4HuIjCb1vwVvmWa6+dsT/+jhm8npg1rvzSiyNoghpPUio8bxV3J8zhyzpwvKt?= =?us-ascii?q?2iUkF7ZMapEJtOuCGeMIt7WtktQ3lyuCY7zr0Ko4K7fC8SyJQgxh7TceSHc4+P?= =?us-ascii?q?4hL6TuqePTB4hHd9dLK+gRa971Sgx/X9W8SwylpGsytIn9nWunwQ2RHf99KLRu?= =?us-ascii?q?Zz80quwTqP0hrc6uBAIUA6j6rbLJshz6YwlpUNt0TMAzX2mET1jKKNakUk/fCo?= =?us-ascii?q?6+PmYrn8vp+cMIh0ihjkPqsyncy/BPw0MhISUGiD5eS8yLrj8FXlT7pQi/02lr?= =?us-ascii?q?DVsJTbJcQAuq60GBRV04Ym6xanFTiqytUYnX8dLFJEYh2LlYbpO0udaMz/WPy2?= =?us-ascii?q?hlDplDZw29jHOKfgC9PDNCvtirDkKJZw7UJGyQl759dY4toACrwHLOjyWWfts8?= =?us-ascii?q?TfD1khNAuthe3gDYMuhcslRWuTD/rBY+vpuliS67d3Lg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C8AQBFm5hY/4aDpUVdHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBiByKVnKRGZU3ggyFEoEQAoMLGAEBAQEBAQEBAQEBYSiCMxmCHgE?= =?us-ascii?q?FMgFWCxgJJQ8FGIo3sT2LOwEBCAImizuFIIJogjEFkDuLK4oHh3UNaZAZkwwfO?= =?us-ascii?q?H4fEwgVFTyGYCKJSgEBAQ?= X-IPAS-Result: =?us-ascii?q?A0C8AQBFm5hY/4aDpUVdHAEBBAEBCgEBFwEBBAEBCgEBiBy?= =?us-ascii?q?KVnKRGZU3ggyFEoEQAoMLGAEBAQEBAQEBAQEBYSiCMxmCHgEFMgFWCxgJJQ8FG?= =?us-ascii?q?Io3sT2LOwEBCAImizuFIIJogjEFkDuLK4oHh3UNaZAZkwwfOH4fEwgVFTyGYCK?= =?us-ascii?q?JSgEBAQ?= X-IronPort-AV: E=Sophos;i="5.33,342,1477954800"; d="scan'208";a="212226225" Received: from topoi.pooq.com (HELO april.topoi.pooq.com) ([69.165.131.134]) by mail3-smtp-sop.national.inria.fr with ESMTP; 06 Feb 2017 16:53:39 +0100 Received: by april.topoi.pooq.com (Postfix, from userid 1001) id 96AF4C2BAC; Mon, 6 Feb 2017 09:02:53 -0500 (EST) Date: Mon, 6 Feb 2017 09:02:53 -0500 From: Hendrik Boom To: caml-list@inria.fr Message-ID: <20170206140253.GA20685@topoi.pooq.com> References: <20170127142246.919C212146E@mcclellan.cs.miami.edu> <416beaa2-9430-20fe-d8fa-e9f02761378f@vanderbilt.edu> <67BCE44C836B466EBD22FC5CE5A4CD13@erratique.ch> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <67BCE44C836B466EBD22FC5CE5A4CD13@erratique.ch> User-Agent: Mutt/1.5.23 (2014-03-12) Subject: Re: [Caml-list] where are we on the Hoogle for OCaml front? On Mon, Feb 06, 2017 at 04:46:02PM +0100, Daniel Bünzli wrote: > On Saturday, 4 February 2017 at 04:58, Jacques Garrigue wrote: > > For search by type signature you can use Jun Furuse's OCamlOScope: > > I'm a little bit curious. While I can see the benefit of having general full text search over value identifiers, type identifier and doc strings I was always a little bit dubious about type signature search -- in the end ML types for themselves are a rather weak specification language (I'm not talking about the invariants you may hide behind those of course). > > So beyond curiosity searches are actually people seriously using this to lookup a value they might need ? Search on parts of the type, even. 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. -- hendrik