Tillmann Rendel <rendel at 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.Miljenovic at gmail.com
IvanMiljenovic.wordpress.com