Eliot,
Fine point, that when discussing the notion of immutability, it is not
necessarily recursive, although that case is often of interest.
It seems that Matthew's request has received only a couple of quick
comments, mine included. Does anyone else support Matthew's proposal
for immutability support to be added to the JMM?
> -----Original Message-----
> From: Evan Ireland [mailto:eireland@sybase.com]
> Sent: Monday, 20 October 2003 10:53 a.m.
> To: eireland@sybase.com
> Subject: [moss@cs.umass.edu: Re: JavaMemoryModel: Motivation and
> Semantics for Immutable objects]
>
>
> ------- Start of forwarded message -------
> Return-Path: <owner-javamemorymodel@cs.umd.edu>
> From: Eliot Moss <moss@cs.umass.edu>
> MIME-Version: 1.0
> Content-Type: text/plain; charset=us-ascii
> Content-Transfer-Encoding: 7bit
> Date: Mon, 22 Sep 2003 22:26:46 -0400
> To: Matthew Ford <Matthew.Ford@forward.com.au>
> Cc: javaMemoryModel@cs.umd.edu
> Subject: Re: JavaMemoryModel: Motivation and Semantics for
> Immutable objects
> References: <004201c38168$bd565740$0400a8c0@NOTEBOOK>
> X-Mailer: VM 7.03 under Emacs 21.2.1
> Reply-To: moss@cs.umass.edu
> Sender: owner-javamemorymodel@cs.umd.edu
> Precedence: bulk
> X-BigFish: pcs-48(z17eNz13feJ122eHzz2cfRe5Rzz907ILz)v
> Content-Length: 1460
>
> One quick comment, FWIW ...
>
> I learned early on in working with data abstraction to work hard at not
> confusing the state of one object with another. Considering, for
> example, a
> collection type, say Set, the _state_ of a Set is the (mathematical set of
> the) _identities_ of the objects in the Set. To say this again, it has to
> do with which objects are in the Set, not what their current states are.
> Hence, the notion of immutabilty is _not_ necessarily recursive.
> It depends
> on what you are trying to do.
>
> The Clu programming language, designed nearly 30 years ago, had
> mutable and
> immutable versions of each of its fundamental non-primitive data types,
> corresponding roughly to structs, unions, and arrays.
>
> Eliot Moss
> ==================================================================
> ============
> J. Eliot B. Moss, Associate Professor
> http://www.cs.umass.edu/~moss www
> Director, Arch. and Lang. Impl. Lab. +1-413-545-4206
> voice
> Department of Computer Science +1-413-695-4226
> cell
> 140 Governor's Drive, Room 372 +1-413-545-1249
> fax
> University of Massachusetts at Amherst moss@cs.umass.edu
> email
> Amherst, MA 01003-9264 USA +1-413-545-3733
> Priscilla Coe sec'y
> ==================================================================
> ============
> -------------------------------
> JavaMemoryModel mailing list -
http://www.cs.umd.edu/~pugh/java/memoryModel
------- End of forwarded message -------
-------------------------------
JavaMemoryModel mailing list - http://www.cs.umd.edu/~pugh/java/memoryModel
This archive was generated by hypermail 2b29 : Thu Oct 13 2005 - 07:00:52 EDT