From: Gerd Stolpmann <info@gerd-stolpmann.de>
To: Francois Berenger <berenger@riken.jp>
Cc: caml-list@inria.fr
Subject: AW: [Caml-list] OCaml search into libraries for ocaml.org
Date: Fri, 21 Dec 2012 20:57:12 +0100 [thread overview]
Message-ID: <1356119832.22153.10@samsung> (raw)
In-Reply-To: <50D3BC0A.4010802@riken.jp>
Am 21.12.2012 02:31:54 schrieb(en) Francois Berenger:
> Hello,
>
> About ocaml.org: Wojciech Meyer just asked for a Wiki.
>
> In addition to this, as a programmer, I am especially interested
> into being able to search into OCaml libraries via a search engine.
>
> A simple engine as in the left of this page:
> http://projects.camlcity.org/projects/ocamlnet.html
> is already useful.
It's not simple, btw. This engine bases on a syntactical analysis of
Ocaml sources, and that makes it possible to search e.g. for type names.
> However, I'd like the search engine to be able to
> do search by type queries, "a la" Hoogle and as in:
> http://search.ocaml.jp/
No, it cannot do this. That's because it doesn't use compiled sources
as basis. When I developed this page, that was simply not the first
priority, I also wanted to make sources searchable that cannot be
built, or that are just examples.
Now that the compiler can dump the type expressions, it is possible to
add such a search (so far there is an encoding for a full-text search
engine).
> But it should index more libraries. For example, all
> packages available in OPAM.
Sorry, as GODI inventor I'm the wrong address here. I have plans to add
OASIS packages (very soon), but I won't support another format.
Gerd
> Regards,
> F.
>
>
>--
> Caml-list mailing list. Subscription management and archives:
> https://sympa.inria.fr/sympa/arc/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>
--
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de
Creator of GODI and camlcity.org.
Contact details: http://www.camlcity.org/contact.html
Company homepage: http://www.gerd-stolpmann.de
------------------------------------------------------------
next prev parent reply other threads:[~2012-12-21 19:58 UTC|newest]
Thread overview: 33+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-12-20 23:15 [Caml-list] OCaml wiki Wojciech Meyer
2012-12-20 23:19 ` Malcolm Matalka
2012-12-20 23:22 ` Anil Madhavapeddy
2012-12-20 23:31 ` Benedikt Meurer
2012-12-20 23:34 ` Anil Madhavapeddy
2012-12-20 23:38 ` Malcolm Matalka
2012-12-20 23:50 ` Wojciech Meyer
2012-12-21 2:49 ` Ashish Agarwal
2012-12-21 8:37 ` Philippe Veber
2012-12-21 9:13 ` Fermin Reig
2012-12-21 9:39 ` Philippe Veber
2012-12-21 13:05 ` Wojciech Meyer
2012-12-21 13:31 ` Adrien
2012-12-21 16:39 ` Ashish Agarwal
2012-12-21 15:33 ` Siraaj Khandkar
2012-12-21 17:52 ` Siraaj Khandkar
2012-12-21 13:00 ` Hezekiah M. Carty
2012-12-21 1:31 ` [Caml-list] OCaml search into libraries for ocaml.org Francois Berenger
2012-12-21 2:57 ` Ashish Agarwal
2012-12-21 7:34 ` forum
2012-12-21 15:31 ` Leo White
2012-12-21 19:57 ` Gerd Stolpmann [this message]
2012-12-21 20:22 ` AW: " Török Edwin
2012-12-21 20:34 ` AW: " Gerd Stolpmann
2012-12-21 20:37 ` Edgar Friendly
2012-12-21 20:41 ` AW: " Gerd Stolpmann
2012-12-21 20:48 ` Library install standards (was: Re: AW: AW: AW: [Caml-list] OCaml search into libraries for ocaml.org) Edgar Friendly
2012-12-21 20:59 ` [Caml-list] Re: Library install standards Török Edwin
2012-12-21 23:47 ` AW: " Gerd Stolpmann
2012-12-21 16:20 ` [Caml-list] OCaml wiki Vincent Balat
2012-12-21 16:45 ` Ashish Agarwal
2012-12-23 14:53 ` Vincent Balat
2012-12-25 1:14 ` Ashish Agarwal
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1356119832.22153.10@samsung \
--to=info@gerd-stolpmann.de \
--cc=berenger@riken.jp \
--cc=caml-list@inria.fr \
--cc=gerd@edgespring.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox