On 05 February 2006 00:21, Benjamin Franksen wrote:
On Friday 03 February 2006 08:52, Tomasz Zielonka wrote:
On Thu, Feb 02, 2006 at 01:05:57PM +0000, Ross Paterson wrote:
Personally, I'm not sure about caseless underscore, concurrency, natural numbers and parallel list comprehensions.
There is one more reason to leave concurrency out of the standard.
Some experts (like Hans Boehm) argue, that concurrency can't be added to the language as a library. http://www.hpl.hp.com/techreports/2004/HPL-2004-209.pdf
This is true for many imperative programming languages. Haskell seems to be an exception:
http://www.haskell.org//pipermail/glasgow-haskell-users/2005-December /009417.html
We don't have any problems with ensuring good cooperation between mutable variables and concurrency synchronisation primitives, because the language doesn't have mutable variables, they are delivered in the concurrency library - the variables _are_ the synchronisation primitives.
What about IORefs?
The interaction between concurrency and IORefs was recently discussed on the ghc-users list: http://www.haskell.org//pipermail/glasgow-haskell-users/2005-December/00 9389.html Cheers, Simon