[MLton] approaches to parallelism in ML

[Kip Macy]

The ocaml team feels very strongly that if one wishes to exploit
parallelism with ocaml one should use interprocess message passing.
They feel that a parallel GC is too difficult to debug and incurs too
much overhead. Perry Cheng's work indicates that a parallel GC does
incur sufficient additional overhead to not make sense in a UP
context, but can in an SMP context can provide substantial benefit.

How do mlton developers feel about supporting same address space
parallelism in mlton?

				-Kip