[MLton] Multicore CPU's and MLton

[Henry Cejtin]

The only real difference between straight SMP and multi-core chips is that
typically (Intel hyper-threading for example) you don't have quite as many
functional units as the sum of the chips in SMP.  In theory, if you have
enough parallelism, you can hide some of the latency of memory because the
multi-core chip can context switch between threads while waiting for the
memory access to complete.

I completely agree that multi-process parallelism is really easy to use and
any thing beyond that is a nightmare.