Just-In-Time compilation of Haskell with PyPy and GHC
Knut Halvor Skrede
Abstract
Knut Halvor Skrede
Abstract
PyPy is a project that implements Virtual Machines in a proper subset of the Python language called RPython. Virtual Machines written in RPython can be translated into efficient C code. An interpreter for a lambda-calculus inspired by Haskell has been written in this language. This project aims to extend this interpreter to use GHC as a front-end for a full Haskell JIT compiler, effectively investigating the feasibility of applying the JIT compilation techniques of the PyPy project on functional languages like Haskell. The full compilation system is described and some preliminary benchmarks are presented.
OpenAlex reports 1 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
PyPy is a project that implements Virtual Machines in a proper subset of the Python language called RPython. Virtual Machines written in RPython can be translated into efficient C code. An interpreter for a lambda-calculus inspired by Haskell has been written in this language. This project aims to extend this interpreter to use GHC as a front-end for a full Haskell JIT compiler, effectively investigating the feasibility of applying the JIT compilation techniques of the PyPy project on functional languages like Haskell. The full compilation system is described and some preliminary benchmarks are presented.
Key concepts: Haskell, Computer science, Programming language, Python (programming language), Interpreter, Compiler, Functional programming, Just-in-time compilation