The Caml Hump: Fjavac

Fjavac is a Java 5 compiler front-end implemented in the functional language OCaml. Currently the compiler can parse and pretty-print almost all of JDK 1.4.2 and JDK 1.5.0 files (including generics, wildcards, annotations, enumerations, static imports, for-each loops and variable arity arguments). A full compiler (with type inference, capture conversion and type checking) is underway.