Developing compilers for functional languages targeting the JVM is well-known to be difficult: compiler writers usually have to implement difficult optimizations; or find compromising solutions for their languages to work around the limitations of the JVM. Thereby we present FCore:
-
FCore is an efficient JVM implementation of System F with support for full tail-call elimination (TCE).
- FCore aims at removing the high burden faced by functional compiler writers in the JVM. Variants of System F are often used by compilers for languages such as ML or Haskell as a target for the source language. Therefore, instead of developing a compiler from scratch, compiler writers can simply use FCore as a target and enjoy of multiple optimizations for free.
-
F2J
, a compiler for FCore, is currently under active development.