Reified Lambda Functions

[Howard Lovatt]

Hi Alex,

Thanks for pointing these mistakes out. I have updated the proposal in
response, see section 2.

Thanks again,

 -- Howard.

2010/1/7 Alex Blewitt <alex.blewitt at gmail.com>

> On Thu, Jan 7, 2010 at 11:08 AM, Howard Lovatt <howard.lovatt at iee.org>
> wrote:
> > I have posted a *more* formal proposal for reifying lambdas (as suggested
> by
> > Neal Gafter):
> > http://www.artima.com/weblogs/viewpost.jsp?thread=278567
> > This could be read in conjunction with the original informal proposal:
>
> I like the approach, but I have some questions.
>
> What happens if you use, or return, an array of types?
>
> #int[] (int[]) sort = ...
>
> What happens if you use Date when you import java.sql.Date and
> java.util.Date?
>
> #java.sql.Date (java.util.Date) convertFrom = ...
> #java.util.Date (java.sql.Date) convertTo = ...
>
> It seems that both cases could be solved by using a similar encoding
> to the JLS encoding of method parameters in both cases, e.g.
> (Ljava/sql/Date;)Ljava/util/Date; vs (Ljava/util/Date;)Ljava/sql/Date;
> and ([I)[I
>
> One would have to convert ()/; to appropriate chars for the naming
> convention to work, of course.
>
> Alex
>
> ______________________________________________________________________
> This email has been scanned by the MessageLabs Email Security System.
> For more information please visit http://www.messagelabs.com/email
> ______________________________________________________________________
>



-- 
 -- Howard.