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 7B96C81792 for ; Mon, 8 Jul 2013 17:47:21 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of jun.furuse@gmail.com) identity=pra; client-ip=74.125.82.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jun.furuse@gmail.com"; x-sender="jun.furuse@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of jun.furuse@gmail.com designates 74.125.82.51 as permitted sender) identity=mailfrom; client-ip=74.125.82.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jun.furuse@gmail.com"; x-sender="jun.furuse@gmail.com"; 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-wg0-f51.google.com) identity=helo; client-ip=74.125.82.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jun.furuse@gmail.com"; x-sender="postmaster@mail-wg0-f51.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AugBABje2lFKfVIzk2dsb2JhbABagztNgwirdIk3iDGBCggWDgEBAQEHCwsJFAQkgiMBAQQBIx0BGwsSAQMBCwYFCw0qAgIhAQERAQUBHAYTh3wBAwkGDJtWi35Pgn+EHAoZJw1Yh3MBBQyMdIEjgUQEB4JUgRwDiSOMSYFngSmKeoNAFimERC8 X-IPAS-Result: AugBABje2lFKfVIzk2dsb2JhbABagztNgwirdIk3iDGBCggWDgEBAQEHCwsJFAQkgiMBAQQBIx0BGwsSAQMBCwYFCw0qAgIhAQERAQUBHAYTh3wBAwkGDJtWi35Pgn+EHAoZJw1Yh3MBBQyMdIEjgUQEB4JUgRwDiSOMSYFngSmKeoNAFimERC8 X-IronPort-AV: E=Sophos;i="4.87,1021,1363129200"; d="scan'208";a="20385369" Received: from mail-wg0-f51.google.com ([74.125.82.51]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 08 Jul 2013 17:47:20 +0200 Received: by mail-wg0-f51.google.com with SMTP id e11so3891505wgh.30 for ; Mon, 08 Jul 2013 08:47:20 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=si6Hgv9YI8fyuUq0Ey8NyGd+5fScC3yIheD9ekakNa8=; b=qFB8/4+cox9kcC16FrV7v/swvWOH1HlKVwoY1oMi4ZaIDDcnJhhO5FJ+ql1xsnGkvr Wm641OKvEp5l8/DKrgCIXAtkkZaJMmH8dG2BuHuGLgfupE8P1G8rLrzPU7422E1OCdcR duggbE/0K5xpXX4nbeTLKA/6+mbhzhjpcEoZqp6prmAADIlCX/P7LWPeBS+luLeY6kQ3 eYdylGSht0nSONm9fzb38s5Cm89wyRvK0yiGHIBaItTfKXMe9QnUTDk5JZlruh2XjVSV KeK0h9/w5ni+JI8EingKtytFjY95sOwwvBVoMlQpCCoagogTwAajo2OqE5n2DIJ09lhQ gC1A== MIME-Version: 1.0 X-Received: by 10.194.78.110 with SMTP id a14mr12636296wjx.84.1373298440431; Mon, 08 Jul 2013 08:47:20 -0700 (PDT) Received: by 10.194.136.140 with HTTP; Mon, 8 Jul 2013 08:47:20 -0700 (PDT) In-Reply-To: References: Date: Mon, 8 Jul 2013 23:47:20 +0800 Message-ID: From: Jun Furuse To: Ashish Agarwal Cc: caml-list Content-Type: multipart/alternative; boundary=047d7bfcf01eb672ef04e101f561 Subject: Re: [Caml-list] [ANN] OCamlOScope: a new OCaml API search --047d7bfcf01eb672ef04e101f561 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Hi Ashish It is bit too early since OCamlOScope currently lacks hyperlinks from search results to the corresponding module/package overviews. But apart from that it covers lots more modules and packages than OCaml API Search :-) Jun On Fri, Jul 5, 2013 at 10:51 PM, Ashish Agarwal wrot= e: > Does this supersede search.ocaml.jp? Shall we change the "OCaml API > Search" link on the front page of ocaml.org? > > > On Thu, Jul 4, 2013 at 10:11 PM, Jun Furuse wrote: > >> Hi list, >> >> I have launched a new OCaml API search, OCaml=E2=97=8EScope at >> http://ocamloscope.herokuapp.com . >> >> OCaml=E2=97=8EScope is a type directed library search, derived work from= OCaml >> API Search by Mizuno and its ancestor OCamlBrowser by Garrigue. It is al= so >> inspired from Hoogle, the same API search engine for Haskell by MItchell, >> which I regularly use in my Haskell :-) job. >> >> * Fast and Portable. It loads everything in memory, unlike OCaml API >> Search and OCamlBrowser which load compiled interface files (*.cmi) >> dynamically. The data file is extracted from compiled files but >> self-contained, so the search engine does not require to compile the >> libraries locally. >> * No use of unification but edit distance of types like Hoogle. >> Unification does not provide good results in type directed search, and is >> costy. >> * OCamlFind and OPAM friendly. OCaml=E2=97=8EScope knows which items are= from >> which OCamlFind and OPAM packages. >> * OCamlDoc: it also extracts OCamlDoc comments, if possible. >> * Small: it can even run as a heroku app. Currently it carries 245k >> entries from 76 OCamlFind packages including Core and Batteries, but the >> data file (as a marshalled OCaml value) is still 20Mb. >> >> There are lots of todos but I think the search results look well sane so >> far. If you find something strange please drop by >> https://bitbucket.org/camlspotter/ocamloscope-server/issues?status=3Dnew= &status=3Dopen and >> leave some comments. Thanks! >> >> Jun Furuse >> >> > --047d7bfcf01eb672ef04e101f561 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Hi Ashish

It is bit too early since OCa= mlOScope currently lacks hyperlinks from search results to the correspondin= g module/package overviews. But apart from that it covers lots more modules= and packages than OCaml API Search :-)

Jun


On Fri, Jul 5, 2013 at 10:51 PM, Ashish Agarwal <agarwal1975@gmail.com> wrote:
Does this=C2=A0supersede=C2=A0search.ocaml.jp? Shall we change= the "OCaml API Search" link on the front page of ocaml.org?


On Thu, Jul 4, 2013 at 10:11 PM, Jun Furuse <jun.furuse@gmail.com= > wrote:
Hi list,

I have launched a new OCaml AP= I search, OCaml=E2=97=8EScope at http://ocamloscope.herokuapp.com .

<= /div>
OCaml=E2=97=8EScope is a type directed library search, derived work from OC= aml API Search by Mizuno and its ancestor OCamlBrowser by Garrigue. It is a= lso inspired from Hoogle, the same API search engine for Haskell by MItchel= l, which I regularly use in my Haskell :-) job.

* Fast and Portable. It loads everything in memory, unl= ike OCaml API Search and OCamlBrowser which load compiled interface files (= *.cmi) dynamically. The data file is extracted from compiled files but self= -contained, so the search engine does not require to compile the libraries = locally.
* No use of unification but edit distance of types like Hoogle. Unific= ation does not provide good results in type directed search, and is costy.<= br>
* OCamlFind and OPAM friendly. OCaml=E2=97=8EScope knows whic= h items are from which OCamlFind and OPAM packages.
* OCamlDoc: it also extracts OCamlDoc comments, if possible.
* Small: it can even run as a heroku app. Currently it carries 245k entrie= s from 76 OCamlFind packages including Core and Batteries, but the data fil= e (as a marshalled OCaml value) is still 20Mb.

There are lots of todos but I think the search results = look well sane so far. If you find something strange please drop by=C2=A0https://bitbucket.org/camlspott= er/ocamloscope-server/issues?status=3Dnew&status=3Dopen=C2=A0and le= ave some comments. Thanks!

Jun Furuse



--047d7bfcf01eb672ef04e101f561--