Re: Good programming languages (Was: Redefinition doesn't work)

[Jacques Garrigue <garrigue@kurims.kyoto-u.ac.jp>]

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