You may wish to check out Pizza, a superset of Java that incorporates
parametric polymorphism, higher-order functions, and algebraic data
types and that compiles into the Java Virtual Machine.
http://wwwipd.ira.uka.de/~pizza/
Also, David Wakeling ([EMAIL PROTECTED]) has looked at
compiling a functional language into Java, but found it was
difficult to do efficiently.
-- P
-----------------------------------------------------------------------
Philip Wadler [EMAIL PROTECTED]
Bell Laboratories http://cm.bell-labs.com/cm/cs/who/wadler/
Lucent Technologies office: +1 908 582 4004
700 Mountain Ave, Room 2T-304 fax: +1 908 582 5857
Murray Hill, NJ 07974-0636 USA home: +1 908 626 9252
-----------------------------------------------------------------------
