comp.lang.ada
 help / color / mirror / Atom feed
From: eachus@aries.mitre.org (Robert I. Eachus)
Subject: Re: ada-c++ productivity
Date: 15 Mar 91 01:00:50 GMT	[thread overview]
Message-ID: <EACHUS.91Mar14190050@aries.mitre.org> (raw)
In-Reply-To: jbuck@galileo.berkeley.edu's message of 13 Mar 91 23:12:21 GMT


In article <11966@pasteur.Berkeley.EDU> jbuck@galileo.berkeley.edu (Joe Buck) writes:

   C++ and Eiffel are full object-oriented languages; Ada is not....
   [lots deleted]

   "A language is object-oriented if and only if it satisfies the following
   requirements:

   - It supports objects that are data abstractions with an interface of named
     operations and a hidden local state

   - Objects have an associated type (class)

   - Types (classes) may inherit attributes from supertypes (superclasses)"

   Ada lacks attribute #3 and is therefore not an object-oriented language.
   Languages that satisfy the first two clauses but not the third are called
   by Cardelli and Wegner "object-based" languages; Ada is an object-based
   language.  C++ satisfies all three attributes... [more deleted]

   I guess you never heard of (Ada) derived types?  There are some
problems with using derived types to implement Smalltalk like class
heirarchies, these are being addressed in Ada 9X. There are also
people like me who prefer to build class heirarchies using generics,
and you build such heirarchies in a much different fashion than in
Smalltalk, but Ada is definitely an OOP.

   Now if you want to argue about whether multiple inheritance in Ada
(or any language) is a good idea, that is subject to debate.

--

					Robert I. Eachus

with STANDARD_DISCLAIMER;
use  STANDARD_DISCLAIMER;
function MESSAGE (TEXT: in CLEVER_IDEAS) return BETTER_IDEAS is...

  reply	other threads:[~1991-03-15  1:00 UTC|newest]

Thread overview: 37+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1991-03-07 16:31 ada-c++ productivity Craig C Johnson
1991-03-08 20:58 ` Jim Showalter
1991-03-10 15:12 ` Joachim Wiese
1991-03-13 23:12   ` Joe Buck
1991-03-15  1:00     ` Robert I. Eachus [this message]
1991-03-15 22:46       ` Larry M. Jordan
1991-03-16  0:06         ` Craig Chambers
1991-03-16 20:52           ` Ted Holden
1991-03-17  8:38             ` MUNTS PHILLIP A
1991-03-17 14:27             ` Ralph Reid III
1991-03-17 20:26               ` csq031
1991-03-18  4:57               ` Michael Feldman
1991-03-18 13:25               ` Matthew S. Granger
1991-03-18 23:17               ` Paul Stachour
1991-03-19 21:17                 ` Jim Showalter
1991-03-19 16:14               ` klimas
1991-03-25 22:01               ` Terry J. Westley
1991-03-18  2:12             ` Jim Showalter
1991-03-18 18:13             ` arny.b.engelson
1991-03-19  7:44               ` Jim Showalter
1991-03-18 22:12             ` martin
1991-03-16 19:02         ` Ralph Johnson
1991-03-19 16:40           ` klimas
1991-03-21  3:12             ` Jim Showalter
1991-03-17  0:47         ` Jim Showalter
1991-03-18 23:55           ` adam
1991-03-25 12:42         ` Steven D. Litvinchouk
1991-03-17  0:40     ` Jim Showalter
  -- strict thread matches above, loose matches on Subject: below --
1991-03-18 15:27 simonian richard 66449
     [not found] <668465900@<jls>
1991-03-20 14:03 ` ryer
1991-03-21 15:26   ` Gary W Smith
1991-03-21 18:50     ` Depriest
1991-03-26  2:32       ` Jim Showalter
1991-03-26 14:57         ` Michael Feldman
1991-03-27  3:09           ` Jim Showalter
1991-03-29 20:30 ` ryer
1991-04-01 14:15   ` Depriest
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox