> My understanding of tab-completion in IDEs for Java, etc. is that it > just displayed every single possible class method for a particular > object value, and then did some kind of matching based upon what you > typed to narrow down the list, not that it was type-based.
With Eclipse, try something like (within some method) String s = "foo"; s. (stop after the dot) and you see only methods of String (and Object). To me, that seems very much "type-based". Of course this requires the integration of parser and static analyzer with the editor - and you need to be able to parse and analyze partial programs. J.W. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe