FTR: JVM Lang Summit presentation
john.r.rose at oracle.com
Fri Sep 19 17:13:46 UTC 2014
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.
More information about the valhalla-dev