I said already: > [...] this would be semantically identical to not sharing anything. Erlang's data sharing (and no, not all binary data, just over a certain

I said already: > [...] this would be semantically identical to not sharing anything. Erlang's data sharing (and no, not all binary data, just over a certain threshold; if you want to nitpick, be diligent and precise) is merely optimization trick, highly uninteresting when it comes to discussing type systems (because its semantics are identical to not sharing anything at all). BTW, if you talk about Erlang, use proper Erlang's terminology. Erlang doesn't have "actors", it has "processes".