FTR: JVM Lang Summit presentation

[John Rose]

On Sep 18, 2014, at 2:20 AM, Remi Forax <forax at univ-mlv.fr> wrote:

> also note that we only need overloads for signature, if we use indy, we can have
> several overloads but one implementation.

That's why I have been casting about for some way to express indy-binding for VarHandle APIs (instead of the sig-poly binding of VHs in Paul's prototype).

Indy provides caller-side signature polymorphism, and leaves the binding up to a factory somewhere, which might be as simple as a MH.asType call to take the polymorphism away, or could be something fancier.

I also think that the asType transform is a good starting point for expressing instantiation of parametric polymorphism.

— John