home *** CD-ROM | disk | FTP | other *** search
- Path: sparky!uunet!mcsun!uknet!gdt!aber!aberfa!pcg
- From: pcg@aber.ac.uk (Piercarlo Grandi)
- Newsgroups: comp.object
- Subject: Re: O.M() versus M(O) notation
- Message-ID: <PCG.92Aug18133356@aberdb.aber.ac.uk>
- Date: 18 Aug 92 13:33:56 GMT
- References: <1992Aug5.162329.22871@ucunix.san.uc.edu>
- <1992Aug15.124149.28538@m.cs.uiuc.edu> <c+0m6cl.objsys@netcom.com>
- Sender: news@aber.ac.uk (USENET news service)
- Reply-To: pcg@aber.ac.uk (Piercarlo Grandi)
- Organization: Prifysgol Cymru, Aberystwyth
- Lines: 42
- In-Reply-To: objsys@netcom.com's message of 18 Aug 92 03: 02:46 GMT
- Nntp-Posting-Host: aberdb
-
- On 18 Aug 92 03:02:46 GMT, objsys@netcom.com (Bob Hathaway) said:
-
- objsys> Not really. Types and type systems are clearly defined in
- objsys> almost all compiler texts (ASU), several modern languages
- objsys> (Emerald, Trellis/Owl),
-
- And all these definitions refer to *different* things. Too bad.
-
- objsys> several texts (Booch, Won Kim), and etc.
-
- Models of clarity and coherence, indeed! I would have great fun quoting
- at length from certain popular books, to let the reader compare how
- things change from one page to the next, or what kind of sense can be
- made of the phrases used therein.
-
- objsys> ***I could make up terms to my liking too***
-
- You have been doing this all along... Not that this is bad; most cs and
- math textbooks do this (some speak of protocol, some of signature, some
- of interface, and it's always nearly the same thing), and this is
- acceptable as long as definitions are clear and coherent.
-
- objsys> but it is better to use standard computer science terminology
-
- I was just reading yesterday some report on an OO workshop, in which
- there was a summary of discussion on types. It said that most of the
- discussion had been severely hobbled by problems with terminology
- problems. It does not look like a standard computer science terminology
- exists in this field.
-
- You seem to insist that *yours* is the standard computer terminology,
- which I hope it is not, because it is hopelessly fuzzy and incoherent.
-
- objsys> if for no other reason than to be able to communicate well with
- objsys> colleagues.
-
- I am starting to think that if you are a computer scientist, I am not,
- so we are not colleagues. :-)
- --
- Piercarlo Grandi | JNET: pcg@uk.ac.aber
- Dept of CS, University of Wales | UUCP: ...!mcsun!ukc!aber-cs!pcg
- Penglais, Aberystwyth SY23 3BZ, UK | INET: pcg@aber.ac.uk
-