29 Mar
2006
29 Mar
'06
9:41 p.m.
On 3/29/06, Ross Paterson <ross@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) -- Taral <taralx@gmail.com> "You can't prove anything." -- Gödel's Incompetence Theorem