Notes on implementing concise calls to constructors with type parameters

[Neal Gafter]

On Fri, May 15, 2009 at 8:38 AM, Joseph D. Darcy <Joe.Darcy at sun.com> wrote:

> Especially given the tricky nature of the type system, being able to play
> with Maurizio's prototype implementation of the diamond operator will be
> extremely helpful and informative.  I think Maurizio's approach provides a
> favorable migration path and is worth further exploration.  We generally
> don't want large changes to inference in the compiler or language in JDK 7
> and the small size of Maurizio's patch is encouraging on that front too.


I agree a prototype is educational.  I don't agree that two passes of type
inference is simpler in the spec, nor that it provides a reasonable
migration path to a future one-pass algorithm that may result in a different
answer.