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.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,35b27ed90ca6e504,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1993-03-18 10:44:54 PST
Path: 
 sparky!uunet!mcsun!marble.uknet.ac.uk!warwick!zaphod.crihan.fr!univ-lyon1.fr!scsing.switch.ch!sicsun!disuns2.epfl.ch!lglsun!magnus
From: magnus@lglsun.epfl.ch (Magnus Kempe)
Newsgroups: comp.lang.ada
Subject: Ada 9X _has_ "class"
Message-ID: <1993Mar18.181325@lglsun.epfl.ch>
Date: 18 Mar 93 17:34:19 GMT
Organization: Ecole Polytechnique Federale de Lausanne
NNTP-Posting-Host: lglsun4.epfl.ch
Date: 1993-03-18T17:34:19+00:00
List-Id: <comp.lang.ada>

For those concerned with market penetration.

Ada 9X _does_ have classes (conceptually and literally):

	type T_Ref is access T'class; -- note: "class"

	procedure P (X : T'class) is  -- note: "class"
	  Y : T'class := X;           -- note: "class"
	begin
	  ...
	end P;

In addition, Ada 9X clearly distinguishes between types that belong
to classes ("Tag", they're it...) and types that don't.  This is
particularly important for real-time systems.  Some people might
want to avoid any possibility of e.g. hidden run-time type-checking
or dynamic binding.  The real-time community has contributed many
requirements to the language (have you seen the protected types?
the distributed systems annex?).  Ada is not a toy language.

-- 
Magnus Kempe                "No nation was ever drunk when wine was cheap."
magnus@lglsun.epfl.ch                                   -- Thomas Jefferson