FW: Library infrastructure

[Johannes Waldmann]

> .. and a bunch of function names and type signatures..

( This is slightly unrelated, but anyway: )

you only get the above if you have the module source,
or if you can decipher the interface file.

A friend told me recently that some interactive Prolog (?) systems 
have a this nice feature: the user can ask for all identifiers
(currently in scope) of a certain type (or mode? or was it LISP anyway?)
(so  [a] -> [a]  should give you  reverse  and  tail).

Perhaps one would want to use "type wildcards" as well,
or some other form of saying "tell me what functions *mention* that type".

Looks like this would be even more useful with a stronly typed language.
-- 
-- Johannes Waldmann ---- http://www.informatik.uni-leipzig.de/~joe/ --
-- joe@informatik.uni-leipzig.de -- phone/fax (+49) 341 9732 204/207 --