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-Language: ENGLISH,ASCII-7-bit X-Google-Thread: f79bb,4fbbe75cca706208,start X-Google-Attributes: gidf79bb,public X-Google-Thread: 103376,4fbbe75cca706208,start X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 1995-03-17 07:08:15 PST Path: bga.com!news.sprintlink.net!cs.utexas.edu!uwm.edu!lll-winken.llnl.gov!fnnews.fnal.gov!stc06.ctd.ornl.gov!jt3ws1!mbk From: mbk@jt3ws1.seas.ucla.edu (Kennel) Newsgroups: comp.lang.ada,comp.lang.sather Subject: Re: Current state of the language Date: 17 Mar 1995 15:02:31 GMT Organization: Oak Ridge National Lab, Oak Ridge, TN Distribution: world Message-ID: <3kc8a7$g12@stc06.ctd.ornl.gov> References: <3j5p3p$nc1@netnews.upenn.edu> <3k0u6r$e05@miranda.gmrc.gecm.com> <3k9s2j$iq8@moon.src.honeywell.com> <1995Mar17.092345@lglsun.epfl.ch> Reply-To: kennel@msr.etd.ornl.gov NNTP-Posting-Host: jt3ws1.etd.ornl.gov X-Newsreader: TIN [version 1.2 PL2] Xref: bga.com comp.lang.ada:11168 comp.lang.sather:1076 Date: 1995-03-17T15:02:31+00:00 List-Id: Robb Nebbe (nebbe@lglsun.epfl.ch) wrote: > As a side note that isn't particularly pertinent - just informative: > Ada 95 generalizes this concept of class to user defined types > which provides the basis for the OO rather than adding on a > separate OO annex to the existing language like C++. There > are actually some interesting parallels between Ada and Sather > since both languages separate polymorphic views from monomorphic > views of an object. In Ada these are class-wide types and > specific types (or sometimes just classes and types) and in > Sather they are called abstract and concrete types. Oddly enough, the preferred terminology for Sather is now "types" for the abstract 'things', and "classes" for the concrete 'things', apparently exactly reveresed from Ada. :-( {So I guess it's not my preferred terminology. Abstract types vs. concrete classes seems to be clear, however.} > Robb Nebbe