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