From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 371E881792 for ; Mon, 8 Jul 2013 20:58:32 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=pra; client-ip=212.227.17.10; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=mailfrom; client-ip=212.227.17.10; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@moutng.kundenserver.de designates 212.227.17.10 as permitted sender) identity=helo; client-ip=212.227.17.10; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="postmaster@moutng.kundenserver.de"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtkAAIwL21HU4xEKfWdsb2JhbABagzsBg1S9aYEXFg4BAQkNCQcUBSWCIwEBBAEjVg4CCxIGAgImAgIbLg4GE4gJCqd4kSMEgSKIHoV0MweCVIEcA45gihyEeo44 X-IPAS-Result: AtkAAIwL21HU4xEKfWdsb2JhbABagzsBg1S9aYEXFg4BAQkNCQcUBSWCIwEBBAEjVg4CCxIGAgImAgIbLg4GE4gJCqd4kSMEgSKIHoV0MweCVIEcA45gihyEeo44 X-IronPort-AV: E=Sophos;i="4.87,1021,1363129200"; d="scan'208";a="25058048" Received: from moutng.kundenserver.de ([212.227.17.10]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 08 Jul 2013 20:58:06 +0200 Received: from office1.lan.sumadev.de (dslb-094-219-223-100.pools.arcor-ip.net [94.219.223.100]) by mrelayeu.kundenserver.de (node=mreu0) with ESMTP (Nemesis) id 0MC5H2-1V56K41pku-009AGs; Mon, 08 Jul 2013 20:58:04 +0200 Received: from [192.168.0.110] (ip-95-223-12-137.unitymediagroup.de [95.223.12.137]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 13332C00CF; Mon, 8 Jul 2013 20:58:04 +0200 (CEST) Message-ID: <1373309883.2180.18.camel@zotac> From: Gerd Stolpmann To: Jun Furuse Cc: Francois Berenger , caml-list Date: Mon, 08 Jul 2013 20:58:03 +0200 In-Reply-To: References: <51DA0D0D.9030005@riken.jp> Content-Type: text/plain; charset="UTF-8" X-Mailer: Evolution 3.2.3-0ubuntu6 Mime-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-Provags-ID: V02:K0:ZvNtlSHElfmgrFzLSsQIrVlrJUCX/eTqrwlx2ihcEoj IOwAwCx5BlDiKj1K+RcQFnM2Xry98q/mVF1WYocyTFX7KNAUIf uxKdX+5hVLqj37zBjIYPer7rqe9UoHn0PbIMNJjxLOG4NeSJ4b qr8gNtMZdiD8hksEO5HcJ4t+V2b3U9ev6INTLVz0TqWJuNt/Dw b7G1kycqESJGlI13741hGfsTOEHKCeeVzhRSLN8ItyZepqKOad grttsRXswdV8ohF5Gj8Nbe5jUxJgmYhfRnLqlexxxi8GZU3jFH PuoqTh8byLtltDQgke4nEUQ4m2wBKKtgPonH0nPMS6i8JUJC40 tdLAntVJiYVW67+0Bf2Lb/DHevSPwtMiKYBbRe48m Subject: Re: [Caml-list] [ANN] OCamlOScope: a new OCaml API search Am Dienstag, den 09.07.2013, 00:06 +0800 schrieb Jun Furuse: > Hi Francois, >=20 >=20 > The ultimiate goal is to put all the available OPAM packages into the > search DB, and update the DB regularly. But now it is far from it: 35 > OPAM packages. >=20 >=20 > DB construction requires source code and bin-annot files (*.cmt and > *.cmti) therefore the libraries must be get compiled. Since it is very > hard to compile all the OPAM packages by one machine due to variety of > architecture and dependent libraries, we will have to build a public > repository of extracted portable DB files. If you wanted to be 100% complete. Look at docs.camlcity.org: This full-text search is for more than 200 GODI packages. While a full-text search has the advantage that it also works for uncompiled sources, it nevertheless profits from build information, and because of this, it is actually based on the output of the GODI autobuilder. This is Linux-only (so far), but it was possible to cover that many packages. Only very few packages do not run on Linux or assume a special environment or libraries you cannot have on an autobuilder box. I'm wondering whether your type search could be made running on top of a full-text search engine (basically, you can only search for words and n-grams, and combine search results with set operators). That way you'd get a very reasonable ranking. Gerd >=20 > Regards, > Jun >=20 >=20 >=20 >=20 > On Mon, Jul 8, 2013 at 8:51 AM, Francois Berenger > wrote: > On 07/05/2013 11:11 AM, Jun Furuse wrote: >=20=20=20=20=20=20=20=20=20 > Hi list, >=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20 > I have launched a new OCaml API search, OCaml=E2=97=8ESco= pe at > http://ocamloscope.herokuapp.com . >=20=20=20=20=20=20=20=20=20 >=20=20=20=20=20=20=20=20=20 > Thanks god! At last! >=20=20=20=20=20=20=20=20=20 > Just a quick question: > are all the packages available in OPAM automatically added to > ocamlscope > on a regular basis? >=20=20=20=20=20=20=20=20=20 > Thanks a lot for this extremely useful service, > F. >=20=20=20=20=20=20=20=20=20 >=20=20=20=20=20=20=20=20=20 >=20 >=20 --=20 ------------------------------------------------------------ Gerd Stolpmann, Bad Nauheimer Str.3, 64289 Darmstadt,Germany=20 gerd@gerd-stolpmann.de http://www.gerd-stolpmann.de Phone: +49-6151-153855 Fax: +49-6151-997714 ------------------------------------------------------------