Abstract

. For some time now, we have been interested in using Haskell to program inexpensive embedded processors, such as those in SUN's new Java family. This paper describes our first attempt to produce a Haskell to Java Virtual Machine code compiler, based on a mapping between the G-machine and the Java Virtual Machine. Although this mapping looks good, it is not perfect, and our first results suggest that the compiled Java Virtual Machine code may be rather larger and slower than one might hope. 1 Introduction For some time now, we have been interested in the efficient implementation of lazy functional programming languages on very small computers, such as those found in consumer electronics devices. So far, all of our implementations have assumed that next-generation products will be controlled by previous-generation RISC processors [Wak95]. But Java processors, with their compact instruction encoding, are an attractive alternative [SUN97]. This paper investigates whether these processors...

Citations

515	D.: Implementation of Functional Programming Languages - Jones, Lester - 1987
297	Pizza into java: Translating theory into practice - Odersky, Wadler - 1997
180	Implementing lazy functional languages on stock hardware: The spineless tagless G-machine - Jones - 1992
119	Rabbit: A compiler for Scheme - Steele - 1978
39	The Java Virtual Machine - Lindholm, Yellin - 1997
5	Parallel Graph Reduction with the h,Gi-machine - Augustsson, Johnsson - 1989
4	A throw-away compiler for a lazy functional language - Wakeling - 1995
1	PicoJava I Microprocessor Core Architecture - Inc - 1997