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

[Ivan Lazar Miljenovic]

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