Large tobin hochstadt sam 2014 03

Tracing JITs for Functional Languages

Sam Tobin-Hochstadt

Recorded 28 September 2016 in Lausanne, Vaud, Switzerland

Event: IC Colloquia - EPFL IC School Colloquia


Functional languages have traditionally had sophisticated ahead-of-time compilers such as GHC for Haskell, MLton for ML, and Gambit for Scheme. But other modern languages often use JIT compilers, such as Java, Smalltalk, Lua, or JavaScript. Can we apply JIT compilers, in particular the technology of so-called tracing JIT compilers, to functional languages?

I will present a new implementation of Racket, called Pycket, which shows that this is both possible and effective. Pycket is very fast on a wide range of benchmarks, supports most of Racket, and even addresses the overhead of gradual typing-generated proxies.

Watched 9831 times.