Java 8 language spec flaw/bug

Davin McCall davmac at
Fri Aug 22 12:52:21 UTC 2014

On 22/08/14 03:54, Zhong Yu wrote:
> Since we have forfeited the bottom-up principle in java8, expressions
> appear to be more ambiguous to programmers. One programmer reading the
> example code may as well try to parse it top-down, and come to the
> conclusion that T cannot be resolved.

I'm not sure how one could come to this conclusion, to be honest. 
Whether you look at it top-down or bottom-up it's still just constraints 
being implied and resolved. The constraints, in this case, are 
satisfiable, but the spec does not currently allow for that resolution.


More information about the lambda-dev mailing list