[Haskell-cafe] Re: "automonadization" of code?

Chung-chieh Shan writes:

Adam Megacz wrote in article 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