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

Galchin Vasili vigalchin at gmail.com
Mon Dec 24 00:51:41 EST 2007


     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

More information about the Haskell-Cafe mailing list