Adam Megacz <[EMAIL PROTECTED]> wrote in article <[EMAIL PROTECTED]> in gmane.comp.lang.haskell.cafe: > Is there any work on automatic translation of code in some tiny > imperative language into Haskell code that uses the ST and/or IO > monads (or perhaps even pure functional code)?
Is it possible to distinguish the automatic translation you have in mind from writing a monadic interpreter for an imperative language (which has been done since Moggi and Wadler)? -- Edit this signature at http://www.digitas.harvard.edu/cgi-bin/ken/sig FORTH is a program that interfaces keyboards with computer. Charles H.Moore, Geoffrey C. Leach, 1970. http://www.ultratechnology.com/4th_1970.html _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
