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
> 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