From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,5c89acd494ea9116 X-Google-Attributes: gid103376,public,usenet X-Google-Language: ENGLISH,ASCII Path: g2news2.google.com!news2.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!t-online.de!inka.de!rz.uni-karlsruhe.de!news.belwue.de!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail From: "Dmitry A. Kazakov" Subject: Re: Self pointer in limited record Newsgroups: comp.lang.ada User-Agent: 40tude_Dialog/2.0.15.1 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 8bit Reply-To: mailbox@dmitry-kazakov.de Organization: cbb software GmbH References: <1183577468.034566.57830@n60g2000hse.googlegroups.com> <1alyfwaig93sk$.99oy269uon$.dlg@40tude.net> <46d9c138$0$4531$9b4e6d93@newsspool3.arcor-online.net> <1rt8kdcrj6tf.1qgvycc6vh357$.dlg@40tude.net> <46db2bf4$0$7699$9b4e6d93@newsspool2.arcor-online.net> <1188816674.2630.25.camel@kartoffel.vocalweb.de> <9cdmw7k85sey.85sb2t1bjefy$.dlg@40tude.net> <1mbajw59c3eir.jyl8bdp6qvj8.dlg@40tude.net> <1188850449.2630.60.camel@kartoffel.vocalweb.de> <1aza6nzawgcnm.sf76q4dvzw4n$.dlg@40tude.net> <46de8897$0$16115$9b4e6d93@newsspool1.arcor-online.net> <15hzyyy3soem0.12hn79bwy27zt$.dlg@40tude.net> <36wdoqy402nv$.14ugvmc6edxwu.dlg@40tude.net> <128w4o7mesap4$.jjwa555mydo6$.dlg@40tude.net> <0n9obf.tgd.ln@hunter.axlog.fr> Date: Thu, 6 Sep 2007 17:35:40 +0200 Message-ID: <1qeyo2c9j1320$.1isekuk50x33q$.dlg@40tude.net> NNTP-Posting-Date: 06 Sep 2007 17:35:08 CEST NNTP-Posting-Host: 4baad6d3.newsspool4.arcor-online.net X-Trace: DXC=e_T5cV714855K=4IUKe6R2m5RYI`3E@k`WAel1T9 X-Complaints-To: usenet-abuse@arcor.de Xref: g2news2.google.com comp.lang.ada:1792 Date: 2007-09-06T17:35:08+02:00 List-Id: On Thu, 06 Sep 2007 13:53:50 +0200, Jean-Pierre Rosen wrote: > Dmitry A. Kazakov a �crit : >> You don't need to model Spike's weight in your system because changing the >> weight should have no effect. Spike cannot communicate its weight to other >> components of the system, because it is not *a* thing with mass. No, it is >> just Spike, the One. Its weight has been abstracted away. > Sorry, but I'm really puzzled at this point. > What do you know about *my* system? > > You seem to be of the kind of people who classify everything (no attack > intended: just an observation). In my experience, about half of the > people (but only half) think this way: if it has a weight, it must > belong to the class of massive things. The rest of the world (to whom I > belong) view things as having properties without the need of > classifying. Maybe it is a matter of being left- or right-brained... Hmm, I think you mean here constructive vs. non-constructive sets, like {x | P(x)}, where P is some predicate, like "has weight." But in finite case and a properly typed system everything is constructive anyway. I can always determine if the given object has mass. No difference. >> Weight is a number with all properties of real values + ones of mass, >> acceleration etc. But Spike's weight (tm) is not a number. It is another >> singleton specific to Spike and unrelated to anything else = nothing. > Spike's weight is a physical property, but its abstraction (i.e. what I > need from weight in my application) is its value in measurement unit. Yes, this is what I meant. Weight here is abstracted from Spike. When you get its value, that does not remember Spike. You have an operation that acts on Spike and yields weight. It is X.Weight or X'Weight or Weight(X), whatever, where X is Spike. But X here can be something different from Spike. You can measure something *else*. Spike is not a singleton for this operation. > BTW, I would not say it is a singleton. Weight is not an object at all, > it is a simple value. Remember: not everything is an object (I hope > Michel Gauthier reads this) I called it singleton in order to distinguish the case when weight were not abstracted from Spike. In that case you would not need to model it, Spike and Spike's weight were just equivalent. P.S. Yes, value is not an object, it is a state of. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de