Reified Lambda Functions

Neal Gafter neal at gafter.com
Fri Jan 8 09:16:22 PST 2010


Howard-

How does this scheme convert an array of function type (for example,
returned by a generic method) to an array of function type (stored in a
variable)?  These are two different types in your scheme, and the subtype
relationship is in the wrong direction to take advantage of natural array
subtyping.

-Neal


More information about the lambda-dev mailing list