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

Ivan Lazar Miljenovic ivan.miljenovic at gmail.com
Wed Aug 4 09:08:02 EDT 2010

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

More information about the Haskell-Cafe mailing list