Zitat von Xavier Leroy <Xavier.Leroy@inria.fr>:
[...]
> The interesting question that this community should focus on
> (rather than throwing fits about concurrent GC and the like) is
> coming
> up with good programming models for parallelism.

OK, I agree, but parallel programming is not really new.
It's just new on or small PCs we ahve at home
It's used since 20 years on high-performance/high-end computers.

I'm not sure there were functional programming models
used, I rather doubt this, but I'm not very familiar with that area.
If there already would be some kind of know-how in parallel functional
programming, this might be adapted to the PCs.

[...]
>  I'm quite fond of
> message passing myself, but agree that more constrained data-parallel
> models have value as well.  As Gerd Stolpmann mentioned, various
> forms
> of message passing can be exploited from OCaml today, but there is
> certainly room for improvement there.
[...]

Can you name it? I mean... the room for improvement.

Ciao,
   Oliver