Fun with method references

[Neal Gafter]

Re: "other than..."

A type system with even one hole in it is unsound.

-Neal

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.
>