important news: refocusing discussion
taralx at gmail.com
Wed Mar 29 08:43:56 EST 2006
On 3/29/06, Taral <taralx at gmail.com> wrote:
> On 3/29/06, Ross Paterson <ross at soi.city.ac.uk> wrote:
> > -- The reference contains a rollback action to be executed on exceptions
> > newtype STM a = STM (IORef (IO ()) -> IO a)
> Cute, but why use an IORef?
> newtype STM a = STM (IO () -> IO a)
Oh, nevermind. I got it. :)
Taral <taralx at gmail.com>
"You can't prove anything."
-- Gödel's Incompetence Theorem
More information about the Haskell-prime