Home > Uncategorized > Compiling Structural Types on the JVM

Compiling Structural Types on the JVM

June 30th, 2010 06:18 admin Leave a comment Go to comments

Here’s a little sausage making article for JVM language implementors. In Compiling Structural Types on the JVM: A Comparison of Reflective and Generative Techniques from Scala’s Perspective, Gilles Dubochet and Martin Odersky describe

Scala’s compilation technique of structural types for the JVM. The technique uses Java reflection and polymorphic inline caches. Performance measurements of this technique are presented and analysed. Further measurements compare Scala’s reflective technique with the “generative” technique used by Whiteoak to compile structural types. The article ends with a comparison of reflective and generative techniques for compiling structural types. It concludes that generative techniques may, in specific cases, exhibit higher performances than reflective approaches, but that reflective techniques are easier to implement and have fewer restrictions.

There’s no discussion of the the proposed JVM “method handles” and whether they might be an even better solution than runtime reflection.

Whiteoak was mentioned previously on LtU.

Source: Compiling Structural Types on the JVM

Related Articles:

  1. Continuation-Passing C: Compiling threads to events through continuations
  2. A Fortress That Fights Back: Structural Proteins in the Eye Double as Antimicrobials
  3. Compiling the WikiLeaks Fallout
  4. Learn Scala the Fun Way: With Processing
  5. Yacc is dead
blog comments powered by Disqus