> [...] 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".
> [...] 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".