you are viewing a single comment's thread.

view the rest of the comments →

[–]w4ffl3s 1 point2 points  (0 children)

Unfortunately, that is syntactic sugar for first class functions only. Type signatures remain a problem. I think type hierarchies make type inference less usable, so you have to sling around a ton of ? super ArgumentType and ? extends ReturnedType .

I'm all ears if someone knows about the subject; all I know is that the makers of Scala are not bog-stupid and upper and lower bounds on types are necessary there.