Fun with method references

[Howard Lovatt]

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