[Haskell-cafe] Peyton Jones' "Beautiful Concurrency" .. i.e. Software Transactional Memory ...

[Galchin Vasili]

Hello,

     My brain is a "out to lunch". I have read the paper "Beautiful
Concurrency" (as well as a bunch of "gaming" papers regarding multi cores).
I am playing with the "Account" example in the paper. In the paper, the
alias "type Account = TVar Int" is used.  I want to actually apply the
function "withdraw" to an example "Account" parameter. I keep getting a type
check error. Can someone give me a concrete example of

> withdraw ......

??

Kind regards, Vasya
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20071223/6804d5d6/attachment.htm