[Haskell-cafe] List as input

leledumbo leledumbo_cool at yahoo.co.id
Thu Oct 16 22:22:42 EDT 2008

> ...  If there isn't enough information to set a concrete type at the call,
type inference fails. This is what you get with strong typing.

In my case, where does type inference fail? Strong typing is good, but quite
confusing when combined with polymorphism.

> It isn't. The type of data in the list must be able to be compared. 

Oops, sorry. What I mean by "any" is exactly as what you said: "anything
than can be compared". Can you tell me an example of list whose elements
can't be compared (don't include user defined types, please) ?
View this message in context: http://www.nabble.com/List-as-input-tp19987726p20026066.html
Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.

More information about the Haskell-Cafe mailing list