FTR: JVM Lang Summit presentation

John Rose john.r.rose at
Fri Sep 19 17:13:46 UTC 2014

On Sep 18, 2014, at 2:20 AM, Remi Forax <forax at> 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

More information about the valhalla-dev mailing list