[e-lang] "io" vs "atomic" in E

[James Graves]

Rob Jellinghaus wrote:

> In several proposals for implementing transactional support in other 
> languages, such as the recent Simon Peyton Jones work on integratign 
> transactional support in Haskell as well as the current draft of the 
> Fortress specification, two language constructs (or monads in the Haskell 
> case) are proposed.  Call them "atomic" and "IO".

By the way, there's a nice interview of SPJ and Tim Harris talking about 
STM over on MSDN:

http://channel9.msdn.com/Showpost.aspx?postid=231495

James