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 CF91E7EE33 for ; Sat, 4 Feb 2017 04:56:57 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=garrigue@math.nagoya-u.ac.jp; spf=None smtp.mailfrom=garrigue@math.nagoya-u.ac.jp; spf=None smtp.helo=postmaster@mailhost.math.nagoya-u.ac.jp Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of garrigue@math.nagoya-u.ac.jp) identity=pra; client-ip=133.6.130.5; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="garrigue@math.nagoya-u.ac.jp"; x-sender="garrigue@math.nagoya-u.ac.jp"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of garrigue@math.nagoya-u.ac.jp) identity=mailfrom; client-ip=133.6.130.5; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="garrigue@math.nagoya-u.ac.jp"; x-sender="garrigue@math.nagoya-u.ac.jp"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mailhost.math.nagoya-u.ac.jp) identity=helo; client-ip=133.6.130.5; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="garrigue@math.nagoya-u.ac.jp"; x-sender="postmaster@mailhost.math.nagoya-u.ac.jp"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A4CjECBRsrRhqCQCrj2D0VMG50dpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6zZxSN2/xhgRfzUJnB7Loc0qyN4vymBjZLv8fJmUtBWaQEbwUCh8?= =?us-ascii?q?QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6?= =?us-ascii?q?OPn+FJLMgMSrzeCy/IDYbxlViDanb75/KBq7oR/Tu8UIjodvK6I8wQbVr3VVfO?= =?us-ascii?q?hb2XlmLk+JkRbm4cew8p9j8yBOtP8k6sVNT6b0cbkmQLJBFDgpPHw768PttRnY?= =?us-ascii?q?UAuA/WAcXXkMkhpJGAfK8hf3VYrsvyTgt+p93C6aPdDqTb0xRD+v4btnRAPuhS?= =?us-ascii?q?waLDMy7n3ZhdJsg6JauBKhpgJww4jIYIGOKfFyerrRcc4GSWZdW8pcUTFKDIGh?= =?us-ascii?q?YIsVF+cOIelXoZT9qVQMoxWwCgqiBO3xxDFPnXL2wbQ60+E9HQHGwAAtH9QDu2?= =?us-ascii?q?nUotXvM6cSVPi4wq3SwjrfdvNWxCny6JPVeR4gu/6MR6hwccveyUkyCQzOk1Kd?= =?us-ascii?q?qYP/MDOPzOQNsmeb7/d+Wu+0jm4osR1xoji1yscqkIbJiYUVy1De+ilg3YY5P8?= =?us-ascii?q?e3R1Jhbd6mCJtdrieXPJZ4TMMlRmFnoic6yrsetJ60fSgK1JQnxwPEZPCdcoiI?= =?us-ascii?q?5QrvVOaLLjdjh3JqZra/hxKo/Uin0O38Wc+520tJoCpditTAq34A2hLJ5sWGUP?= =?us-ascii?q?dx40ms1SqV2w3T8u1JIUM5mbDGJ5MhwbM8jIcfvVrAEyPshUn7jK2be0M58eay?= =?us-ascii?q?8evneK/pppqEOo90lA7+NqMul9S6AesiMwgOW2ib+eOn1L3/50H5Ra9FjuE2kq?= =?us-ascii?q?XDtpDVP8sbpqm5AgBPy4oj9gyzAC2639gCn3kHNEpJeBOBj4f3J1HDOO30APmx?= =?us-ascii?q?jli2kTpn3e3KM7P9DpnXLnXPiLLhcqx8605Yxgoz19df55dMB7EOOv3zQFXxtN?= =?us-ascii?q?3XDh8kLQO52OPnB89h1oMeQ26PBLWWMKzVsV6I/O0jOvSMaJUPtznhMfQl5ebu?= =?us-ascii?q?gWcjmVABZampwYcXaHegE/t6OUqZZH7sjs4FEWcLpQo+UPfniEaCUD5Wf3a9Rb?= =?us-ascii?q?gw5jA9CIK8DIfMXJqhgLKb3HTzIpoDSHpPDFuLEGygXai+dtEjRRjadsF7mzoP?= =?us-ascii?q?Urm6DYRn3xy0uQn1xqBPMOPS9iACv5PnyJ546/CFxj8o8jkhLc2WynyAVClbl3?= =?us-ascii?q?kSRjAr0egrrkVn0FaMzKVQhvVEFZpV7vxOQw5/KNjVxKp4E4ahCUr6Yt6VRQP+?= =?us-ascii?q?EZ2dCjYrQ4d0modWbg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BPAADJT5VYlwWCBoVdDgsBAQEBAQEBA?= =?us-ascii?q?QEBAQcBAQEBARQBAQEBAQEBAQEBAQcBAQEBAYQJgQmOUpB7H5dHASmEaIEQAoM?= =?us-ascii?q?jFAEBAQEBAQEBAQEBEgEBAQEBCBYITIIzGwGCGwEFQAMBNQEBDgsYHBJXBooDD?= =?us-ascii?q?64Dgw2DCAcChF0agzoBAQEBAQEBAQIBAQEBAQEBAQEBARQBAwWIUQiCYoRNgzS?= =?us-ascii?q?CMYcKB4kriyyGaIsgkQKOXYQtNnRbMjsRAYIhgiKBMkpmAYZkKoISAQEB?= X-IPAS-Result: =?us-ascii?q?A0BPAADJT5VYlwWCBoVdDgsBAQEBAQEBAQEBAQcBAQEBARQ?= =?us-ascii?q?BAQEBAQEBAQEBAQcBAQEBAYQJgQmOUpB7H5dHASmEaIEQAoMjFAEBAQEBAQEBA?= =?us-ascii?q?QEBEgEBAQEBCBYITIIzGwGCGwEFQAMBNQEBDgsYHBJXBooDD64Dgw2DCAcChF0?= =?us-ascii?q?agzoBAQEBAQEBAQIBAQEBAQEBAQEBARQBAwWIUQiCYoRNgzSCMYcKB4kriyyGa?= =?us-ascii?q?IsgkQKOXYQtNnRbMjsRAYIhgiKBMkpmAYZkKoISAQEB?= X-IronPort-AV: E=Sophos;i="5.33,332,1477954800"; d="scan'208";a="211998261" Received: from rabbit.math.nagoya-u.ac.jp (HELO mailhost.math.nagoya-u.ac.jp) ([133.6.130.5]) by mail3-smtp-sop.national.inria.fr with ESMTP; 04 Feb 2017 04:56:55 +0100 Received: from mailhost.math.nagoya-u.ac.jp (localhost [127.0.0.1]) by mailhost.math.nagoya-u.ac.jp (Postfix) with ESMTP id 1FEC163E2 for ; Sat, 4 Feb 2017 12:56:53 +0900 (JST) Received: from mailhost.math.nagoya-u.ac.jp (rabbit-172.math.nagoya-u.ac.jp [172.16.254.254]) by mailhost.math.nagoya-u.ac.jp (Postfix) with ESMTP id 885A92519; Sat, 4 Feb 2017 12:56:52 +0900 (JST) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=math.nagoya-u.ac.jp; h= content-type:mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; s=alpha; bh=xdNKQnq1N3HbqT9DVr5QQnHZmKk=; b=rVfs8BhxMZ9qSeSABJXdwB6yNa0o 8xaHUQomdBwR13Eck3mnd3SEB3Yp9epco/bvNj9UMPK59mAfCnJe6B04N3fSiszF OiwCdAumZXl0gGqKu4189QRF4eQCeEZIVYDmEVTQTv5WpIRt7PdQiy0C0F1EHVhn 0xeXHLX34eIQ218= DomainKey-Signature: a=rsa-sha1; h=Received:Content-Type:Mime-Version:Subject:From:In-Reply-To:Date:Cc:Content-Transfer-Encoding:Message-Id:References:To:X-Mailer; b=sVTTa8RRQNHQLv+Zyb19ZdYQ/+P9y+DpVF7Oh5UaWKDl6SuNxmzPBrlveobrYg9aPISmxsKk59XY96KoxkPY5aicLr//Wo2flG/LagVNrfqyGHkfn9xYOy083bvVSeAyWUYejFmCr0v2Aj2n8CXK7q+bPtJT4GNTNvTVSMs25UU=; c=nofws; d=math.nagoya-u.ac.jp; q=dns; s=alpha Received: from tanpopo.garrigue.jp (58x158x128x157.ap58.ftth.ucom.ne.jp [58.158.128.157]) by mailhost.math.nagoya-u.ac.jp (Postfix) with ESMTPSA id A9F37890D; Sat, 4 Feb 2017 12:56:40 +0900 (JST) Content-Type: text/plain; charset=windows-1252 Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) From: Jacques Garrigue In-Reply-To: <416beaa2-9430-20fe-d8fa-e9f02761378f@vanderbilt.edu> Date: Sat, 4 Feb 2017 12:58:04 +0900 Cc: OCaml Mailing List Content-Transfer-Encoding: quoted-printable Message-Id: References: <20170127142246.919C212146E@mcclellan.cs.miami.edu> <416beaa2-9430-20fe-d8fa-e9f02761378f@vanderbilt.edu> To: Francois BERENGER X-Mailer: Apple Mail (2.3124) Subject: Re: [Caml-list] where are we on the Hoogle for OCaml front? For search by type signature you can use Jun Furuse's OCamlOScope: https://camlspotter.github.io/ocamloscope.html It also gives documentation when available. I'm not sure how big the database is. Jacques On 2017/01/28 01:39, Francois BERENGER wrote: >=20 > Hello, >=20 > Do we have a hoogle[1] equivalent that is in production for OCaml? >=20 > I mean something that would index all source code available in opam > and allow queries by type signature or keyword? >=20 > Currently, I use ocp-browser but I still feel like > it's a temporary and not super efficient measure. >=20 > I don't know how to do query by type signature with it. > And many packages don't install their doc so you cannot > see the doc for each function. > At list for the stdlib it works (inside ocp-browser you type List.map the= n spacebar, for example). >=20 > When I was an Haskell programmer (for two months, a long time ago), I fel= t Hoogle was the biggest productivity enhancer (you don't reinvent > the wheel, just find which one you need and use it). >=20 > Regards, > F. >=20 > [1] https://www.haskell.org/hoogle/