Browse thread
Re: Redefinition doesn't work
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Jacques Garrigue <garrigue@k...> |
| Subject: | Re: Good programming languages (Was: Redefinition doesn't work) |
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