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 SAA32530 for caml-red; Fri, 3 Nov 2000 18:04:27 +0100 (MET)
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA23464 for <caml-list@pauillac.inria.fr>; Fri, 3 Nov 2000 16:31:16 +0100 (MET)
Received: from silvercomet.emperorlinux.com ([193.128.60.150])
	by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id eA3FVFT11871
	for <caml-list@inria.fr>; Fri, 3 Nov 2000 16:31:15 +0100 (MET)
Received: from silvercomet.emperorlinux.com (IDENT:bcpierce@localhost [127.0.0.1])
	by silvercomet.emperorlinux.com (8.9.3/8.9.3) with ESMTP id KAA02762;
	Fri, 3 Nov 2000 10:27:07 -0500
To: "Mattias Waldau" <mattias.waldau@abc.se>
cc: caml-list@inria.fr
Subject: Re: Good programming languages (Was: Redefinition doesn't work) 
In-Reply-To: Message from "Mattias Waldau" <mattias.waldau@abc.se> 
   of "Fri, 03 Nov 2000 09:44:11 +0100." <HDEEKOMJILGEIHIMAPCDAEMLDEAA.mattias.waldau@abc.se> 
Date: Fri, 03 Nov 2000 10:27:07 -0500
Message-ID: <2758.973265227@silvercomet.emperorlinux.com>
From: bcpierce@cis.upenn.edu
Sender: weis@pauillac.inria.fr

> 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.  :-)

    B