Expected distribution of lambda sizes (Re: Syntax poll, take 2)
john at milsson.nu
Wed Jun 15 10:43:57 PDT 2011
On Wed, Jun 15, 2011 at 7:39 PM, Maurizio Cimadamore
<maurizio.cimadamore at oracle.com> wrote:
> *) Pair#fst is compatible with a SAM type whose method is m(Pair)
> *) Pair<>#fst is compatible with a SAM type whose method is of the kind
Ah, there you go. Forgot about this "interesting" aspect of the type system.
Is it reasonable though? When would it, in practice, be important to
enforce this difference?
More information about the lambda-dev