[Haskell-cafe] Re: "automonadization" of code?
megacz at cs.berkeley.edu
Fri Dec 22 13:53:51 EST 2006
Chung-chieh Shan <ccshan at post.harvard.edu> writes:
> 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)?
I suspect that you would want to introduce new binding forms. Just a hunch.
PGP/GPG: 5C9F F366 C9CF 2145 E770 B1B8 EFB1 462D A146 C380
More information about the Haskell-Cafe