Priorities
Simon Marlow
simonmar at microsoft.com
Mon Feb 6 09:40:52 EST 2006
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
More information about the Haskell-prime
mailing list