Tillmann Rendel <ren...@informatik.uni-marburg.de> writes: > 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.miljeno...@gmail.com IvanMiljenovic.wordpress.com _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
