[erlang-questions] Re:

Bjorn Gustavsson bgustavsson@REDACTED
Thu Sep 17 14:08:45 CEST 2009

On Thu, Sep 17, 2009 at 1:18 PM, Michael Turner <leap@REDACTED> wrote:
>>> That ensures that identical looking elements in the tuple are sharing
>>> memory locations.  But there is absolutely no reason the compiler has
>>> to do this.  It would be perfectly valid to optimize away the entire
>>> function, just returning the original value.
>>We have no intention of introducing "optimizations" that would break
>>that code.
> But is James correct in implying that the semantics of Erlang admit of
> such interpretations?

Probably. As far as I know, there is no specification or documentation
that explicitly says that an Erlang implementation must preserve
sharing within a process.

Björn Gustavsson, Erlang/OTP, Ericsson AB

More information about the erlang-questions mailing list