From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id XAA05323 for caml-red; Mon, 6 Nov 2000 23:07:10 +0100 (MET)
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id BAA26593 for <caml-list@pauillac.inria.fr>; Mon, 6 Nov 2000 01:23:18 +0100 (MET)
Received: from kurims.kurims.kyoto-u.ac.jp (kurims.kurims.kyoto-u.ac.jp [130.54.16.1])
	by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id eA60NGP10644
	for <caml-list@inria.fr>; Mon, 6 Nov 2000 01:23:17 +0100 (MET)
Received: from tet.kurims.kyoto-u.ac.jp (isdnppp2.kurims.kyoto-u.ac.jp [130.54.16.103])
	by kurims.kurims.kyoto-u.ac.jp (8.9.3/3.7W) with ESMTP id JAA24527;
	Mon, 6 Nov 2000 09:23:01 +0900 (JST)
Received: from localhost (localhost [127.0.0.1])
	by tet.kurims.kyoto-u.ac.jp (8.9.3/8.9.3) with ESMTP id JAA32713;
	Mon, 6 Nov 2000 09:17:55 +0900 (JST)
	(envelope-from garrigue@kurims.kyoto-u.ac.jp)
To: mattias.waldau@abc.se
Cc: caml-list@inria.fr
Subject: Re: Good programming languages (Was: Redefinition doesn't work) 
In-Reply-To: Your message of "Fri, 03 Nov 2000 10:27:07 -0500"
	<2758.973265227@silvercomet.emperorlinux.com>
References: <2758.973265227@silvercomet.emperorlinux.com>
X-Mailer: Mew version 1.93 on Emacs 20.4 / Mule 4.0 (HANANOEN)
Mime-Version: 1.0
Content-Type: Text/Plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Message-Id: <20001106091755R.garrigue@kurims.kyoto-u.ac.jp>
Date: Mon, 06 Nov 2000 09:17:55 +0900
From: Jacques Garrigue <garrigue@kurims.kyoto-u.ac.jp>
X-Dispatcher: imput version 980905(IM100)
Sender: weis@pauillac.inria.fr

From: bcpierce@cis.upenn.edu

> > 2 for easy to use libraries (it is so hard to find the right function, I
> > have to search thru the PDF-file all the time),
> 
> I find that Emacs is an excellent tool for searching for functions in the
> OCaml library.  The developers have helpfully provided a pure-ascii
> version of the documentation, and a couple of incremental searches
> usually gets me to what I want in a few second.
> 
> Occasionally I even do searches based on types.  For example, I can never
> remember the convention for naming conversion functions.  Is it
> int_to_string or string_to_int or string_of_int or...?  A simple search
> for "int -> string" settles the question in moments.  :-)

Just a plug: ocamlbrowser is really good at all that.
You can visit modules through navigation, read comments in the .mli's...
You can even search by types, with a few built-in isomorphisms.
Maybe for experienced users full text search is just enough, but
beginners should at least give a try to it.
And it works even if there is no documentation :-) as for labltk :-(

        Jacques