As promised I’ve posted a straw-man proposal to extend Java with first-class functions, function types, and lambda expressions (informally, “closures”) to the newly-created Project Lambda page.

Please direct further comments, questions, and suggestions to the lambda-dev mailing list. (If you haven’t already subscribed to that list then please do so first, otherwise your message will be discarded as spam.)