Tillmann Rendel
Ivan Lazar Miljenovic wrote::
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.
Good completion is type based. For example, consider the following situations in Eclipse:
(1) int foo = "bar".<cursor here> (2) String foo = "bar".<cursor here>
In both cases, completion will only propose methods of String and its super class Object, so the type of the receiver is taken into account.
Yes, it knows which class methods are available. But can it list every possible argument that a given class method needs? IMHO, that is a closer analogy/comparison to what type-based completion for Haskell would require. -- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com IvanMiljenovic.wordpress.com