From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pA4CjrLh031041 for ; Fri, 4 Nov 2011 13:45:53 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtACALPds05XYrifi2dsb2JhbABEhHqVWY9bAQEBCgsLGyWBcgEBBAEjBFIFCwsaAiYCAlcZiAICoweSHYEwhmWBFgSUHIELkFw X-IronPort-AV: E=Sophos;i="4.69,455,1315173600"; d="scan'208";a="128393455" Received: from 4.mo6.mail-out.ovh.net (HELO mo6.mail-out.ovh.net) ([87.98.184.159]) by mail1-smtp-roc.national.inria.fr with ESMTP; 04 Nov 2011 13:45:48 +0100 Received: from mail378.ha.ovh.net (b6.ovh.net [213.186.33.56]) by mo6.mail-out.ovh.net (Postfix) with SMTP id 1D208FF8206 for ; Fri, 4 Nov 2011 13:46:23 +0100 (CET) Received: from b0.ovh.net (HELO queueout) (213.186.33.50) by b0.ovh.net with SMTP; 4 Nov 2011 12:45:47 -0000 Received: from ns0.ovh.net (HELO localhost) (213.186.33.20) by ns0.ovh.net with SMTP; 4 Nov 2011 12:45:47 -0000 Received: from guest-rocq-135159.inria.fr (guest-rocq-135159.inria.fr [128.93.135.159]) by ssl0.ovh.net (Horde Framework) with HTTP; Fri, 04 Nov 2011 13:45:47 +0100 Message-ID: <20111104134547.14475ul9wx5myyrk@ssl0.ovh.net> Date: Fri, 04 Nov 2011 13:45:47 +0100 From: forum@x9c.fr To: caml-list@inria.fr Cc: forum@x9c.fr X-Ovh-Mailout: 178.32.228.6 (mo6.mail-out.ovh.net) References: <7EB42100-0E5F-4FBB-8CB8-A318926F0E0E@x9c.fr> <3AFFA70C-BD82-4A7B-94E6-7FAB5BC93148@x9c.fr> <4EB2F67D.6070202@inria.fr> <20111104092409.GA22221@ccellier.rd.securactive.lan> <4D9C7FE8-98E1-4D36-90CE-BDEDA6607338@ocamlpro.com> In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; DelSp="Yes"; format="flowed" Content-Disposition: inline User-Agent: Internet Messaging Program (IMP) H3 (4.3.5) X-Ovh-Tracer-Id: 16031407298711192352 X-VR-SPAMSTATE: OK X-VR-SPAMSCORE: 0 X-VR-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrfeeffedrvdegucetggdotefuucfrrhhofhhilhgvmecuqfggjfenuceurghilhhouhhtmecufedttdenuc Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id pA4CjrLh031041 Subject: Re: [Caml-list] [ANN] Argot: 1.0 release Daniel Bünzli a écrit : (...) >> The searching tools are quite limited currently, > > To me the search tools are not so useful. Usually I know in which > module I want to lookup a function. To get there quickly I use my OS > file search --- thanks to ocamldoc generating one file per module --- > and then the incremental search of my browser. Of course this is quite > different of indexing e.g. the symbols directly but it works well in > practice. Well, regarding search by name, I consider that the only advantages upon browser search are: - simultaneous search on several pages; - regular expression search (although some browser may support it). (...) > Regarding search by type, I wonder if people actually use this for > useful reasons or if it's just out of curiosity or for the cool hack > factor -- and sure it's cool. I mean there's not enough semantics in > types to tell you what a function will do, and since we curry it is > not always clear in which order we will argument. To be clear, I implemented search by type in order to understand a bit more the book of Roberto Di Cosmo about type isomorphisms. Whether it can be a useful tool remains to be determined. The tool now exists, let's see if there is a usage for it. I do agree that there is often not enough semantics in OCaml types, but please notice that the order of arguments and whether the function is currified is not relevant. Indeed, doing type search up to isomorphisms allows to get rid of these details, all of the following queries will answer with "String.sub": - "int -> int -> string -> string" - "string -> (int * int) -> string" - "string * int *int -> string" while the actual signature is "string -> int -> int -> string". Regards, Xavier Clerc