On Thu, Oct 16, 2008 at 7:22 PM, leledumbo <[EMAIL PROTECTED]>wrote: > > > ... 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) ?
How about a list of functions from int to int? Jason
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
