Re: Class variables in O'Caml

David Gurr (gurr@snap.med.ge.com)
Tue, 14 May 1996 15:50:59 -0700

Date: Tue, 14 May 1996 15:50:59 -0700
From: gurr@snap.med.ge.com (David Gurr)
Message-Id: <9605142250.AA13681@swag.med.ge.com>
To: chet@watson.ibm.com, caml-list@pauillac.inria.fr
Subject: Re: Class variables in O'Caml

Chet Murthy <chet@watson.ibm.com>:
> Class variables are valuable syntactic sugar, because they group the
> mutable, but shared, state of a class together, in a way which is
> difficult for a naive programmer to ignore.

"mutable, but shared, state of a class" sounds wrong. How about
"mutable shared state of instances of a class" or "mutable state of
a class"? The latter is simply a slot of a class object. The former
is a limited form of delegation. What ever would be desired for
the commercial sector, please stick to the pedantic tradition of
ML and give extensions a coherent semantics. -D