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

Chung-chieh Shan ccshan at post.harvard.edu
Sat Dec 16 12:48:03 EST 2006


Adam Megacz <megacz at cs.berkeley.edu> wrote in article <x3hcw1tuf0.fsf at nowhere.com> 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



More information about the Haskell-Cafe mailing list