An Embedded Haskell Subset Implementation

Abstract

We provide an implementation of a Haskell subset embedded within the Java programming language. The subset provides type inference, polymorphism, first-class functions, currying, and mixing of Haskell calls within Java expressions. These calls are evaluated lazily before returning to standard imperative evaluation. The implementation is via the language Genesis: a Java extension that allows for meta-programming and syntax creation. Genesis even allows for the subset to be used independently, so that source files containing purely Haskell subset code are translated into Java classes.