hg: lambda/lambda/langtools: Implemented features are:

[Brian Goetz]

> This looks really good. Forgive me if wrong, but I noticed the SAM
> conversion functionality is (like) duck typing. The lambda expression can
> get wrapped in an Interface proxy of the appropriate signature.

There's a duckish nature to it, but it is narrower than that -- you have to 
ask for a specific kind of duck, and if it passes the quack test, then it is 
issued a duck suit of the appropriate color scheme :)

In a duck-typed system, if it matches the interface contract, then it *is* a 
member of the interface type.  In this scheme, if it matches the interface 
contract, then it is converted to something of the interface type -- but loses 
some of its type identity in the process.