[Haskell-cafe] Re: can Haskell do everyting as we want?

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.