[MLton] Multicore CPU's and MLton

[Stephen Weeks]

> In Erlang (http://www.erlang.org), parallelism is modeled as
> separate processes communicating through message passing.  While
> message passing is obviously not as cheap as shared memory, it has
> the advantage of completely isolating separate threads of execution
> such that failure in one does not cause failure in another.

I don't know enough about the Erlang implementation.  I wonder if they
support concurrent threads.  They're surely not using an OS process
for each thread.