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 24F8281798 for ; Fri, 5 Jul 2013 16:51:26 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of agarwal1975@gmail.com) identity=pra; client-ip=209.85.128.172; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="agarwal1975@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of agarwal1975@gmail.com designates 209.85.128.172 as permitted sender) identity=mailfrom; client-ip=209.85.128.172; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="agarwal1975@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-ve0-f172.google.com) identity=helo; client-ip=209.85.128.172; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="postmaster@mail-ve0-f172.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtUBADDd1lHRVYCsm2dsb2JhbABagztJgwirQIk2iDJ4CBYOAQEBAQEGCwsJFCiCIwEBBAEjHQEbCxIBAwELBgUEBzcCAiEBAREBBQEcBhOHfAEDCQYMm3OLfk+Cf4QPChknDViHcwEFDIx0gSOBRAQHglGBHAOVYoFngSmKdwKDPhYphFMg X-IPAS-Result: AtUBADDd1lHRVYCsm2dsb2JhbABagztJgwirQIk2iDJ4CBYOAQEBAQEGCwsJFCiCIwEBBAEjHQEbCxIBAwELBgUEBzcCAiEBAREBBQEcBhOHfAEDCQYMm3OLfk+Cf4QPChknDViHcwEFDIx0gSOBRAQHglGBHAOVYoFngSmKdwKDPhYphFMg X-IronPort-AV: E=Sophos;i="4.87,1002,1363129200"; d="scan'208";a="20147800" Received: from mail-ve0-f172.google.com ([209.85.128.172]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 05 Jul 2013 16:51:25 +0200 Received: by mail-ve0-f172.google.com with SMTP id jz10so1886682veb.17 for ; Fri, 05 Jul 2013 07:51:24 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=Y9k71hhg/mpePAFzXCnQ91sKddtO4qPDPb5fXWnJPFE=; b=Xbnm65k6S6icto/p+csp68KyA0XWEX+zeK8D6YBR5UsnpbndsUSOoJHk+GKuCctxtd KTgcJVAM8gV0zbKybpbGza532OmYDdABQqRvTBRSEuSNSehTcZqSbYrehtZzm2rT0pi5 H2xFiuvacvWic4jvbvq4SbKv93+I0sgCssmOkFqv7uAsFKLLcqxDcbCwHAWxI0c1fUWE dMSGWX/lET2HzCC9G0B2bW1+WACUudkn5kSehOigl5B3Go9BT4SPifNFHsB+SkgK/5I+ dJi+mA2ISo/OyEVJZIS+I9LhTtgXFML9a/J+7p+gzrFG6aZbmivLBLuFkKTNxLwIQyGS rgEw== X-Received: by 10.52.120.7 with SMTP id ky7mr5882238vdb.12.1373035883991; Fri, 05 Jul 2013 07:51:23 -0700 (PDT) MIME-Version: 1.0 Received: by 10.58.133.70 with HTTP; Fri, 5 Jul 2013 07:51:03 -0700 (PDT) In-Reply-To: References: From: Ashish Agarwal Date: Fri, 5 Jul 2013 10:51:03 -0400 Message-ID: To: Jun Furuse Cc: caml-list Content-Type: multipart/alternative; boundary=089e013a25e2211aee04e0c4d4bb Subject: Re: [Caml-list] [ANN] OCamlOScope: a new OCaml API search --089e013a25e2211aee04e0c4d4bb Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable 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 also > 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 > > --089e013a25e2211aee04e0c4d4bb Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Does this=C2=A0supersede=C2=A0search.oca= ml.jp? Shall we change the "OCaml API Search" link on the fro= nt 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


--089e013a25e2211aee04e0c4d4bb--