The main thing this needs is types. Everything else is details. Even in a HO world, you can have at least a subset of names available. I do not see how to do this without statically knowing types.
Incidentally, I've been playing with Eclipse for the past week. I am deeply underwhelmed by the completion feature -- it's clunky, pops up too many things, obscures code, etc. But it could be that the Microsoft thing is far better designed -- after all, this would hardly be the only aspect in which Eclipse is like a platypus created by a furniture designer. Shriram _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
