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

[Adam Megacz]

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.

  - a

-- 
PGP/GPG: 5C9F F366 C9CF 2145 E770  B1B8 EFB1 462D A146 C380