Chung-chieh Shan <[EMAIL PROTECTED]> writes: > 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)? I suspect that you would want to introduce new binding forms. Just a hunch. - a -- PGP/GPG: 5C9F F366 C9CF 2145 E770 B1B8 EFB1 462D A146 C380 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
