Fun with method references
neal at gafter.com
Sat Aug 7 19:01:02 PDT 2010
Re: "other than..."
A type system with even one hole in it is unsound.
On Aug 7, 2010, at 8:01 PM, Howard Lovatt <howard.lovatt at gmail.com> wrote:
>> I'm saying that your proposal is unsound in the sense that a program in your extension
>> that compiles with no diagnostics can result in heap pollution (variables whose dynamic
>> and static types do not agree). BGGA does not have that problem. You can't "solve"
>> the problem of reification using erasure.
> Other than arrays of function types I am not aware of any problem
> areas. Can you elaborate please.
> -- Howard.
> PS Clearly this exercise is now academic since there won't be function
> types in 7. Hence I haven't put further work in.
More information about the lambda-dev