<div dir="ltr"><div dir="ltr"><p>Hi all,</p>
<p>I’ve been thinking about whether we can optimize erased generics 
using only the already-finalized features of Project 
Valhalla—specifically, value classes.</p>
<p>Even though generics are still erased, if the erased value is a value
 class, maybe the JVM could still store it without indirection. This 
wouldn’t require full specialization like the Parametric JVM, but could 
still improve performance in common cases.</p>
<p>It’s similar in spirit to this issue in the Sixten language: <a rel="noopener" href="https://github.com/ollef/sixten/issues/149" target="_blank">https://github.com/ollef/sixten/issues/149</a></p>
<p>Also—could someone please point me to current resources or 
documentation about the Parametric JVM? I’d like to share them with some
 folks working on Scala and Idris2 backends to explore whether targeting
 it is practical.</p>
<p>Thanks,</p><p>Diego Antonio Rosario Palomino</p></div><br></div>