[Haskell] Top Level <-

[Adrian Hey]

(Moving to Haskell cafe)

Edward Kmett wrote:
> On Sun, Aug 24, 2008 at 7:12 PM, Ashley Yakeley <ashley at semantic.org> wrote:
> 
>> Is there any interest in implementing a top level "<-" to run monadic code?
>>
> 
> This is actually implemented in jhc. See the 'top level actions' section of
> http://repetae.net/computer/jhc/manual.html

Gosh! I was always quite impressed by Johns determination to write a
Haskell compiler and by his self discipline in resisting the temptation
to fix everything that was wrong with Haskell and keep to standards :-)

I implemented my own ACIO monad a while ago (which is of course quite
useless without top level <- bindings) and it turned out that there
was quite a lot that could go in here.

The only problem seemed to be that some things that seemed perfectly
reasonable to create via ACIO had *IO* finalisers associated with them,
which didn't feel right to me. But if you think about how finalisers
get run I'm inclined to think we should insist that they are ACIO too.

Regards
--
Adrian Hey