"Yaron Minsky" <yminsky@cs.cornell.edu> writes:

   That said, I do understand that a concurrent GC is a big technical
   challenge, and I can understand why the ocaml team isn't eager to take it on
   right now.

The ocaml team could document the GC interface and modularize
everything, such that the user can choose between different
garbage collectors (at compile time, or even better at
application start).

Some parallel enthusiast might then come up with a parallel GC,
that is good enough for experiments until the right solutions are
available. 

Bye,

Hendrik