From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 4.0.1 (2024-03-25) on
	ip-172-31-91-241.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=3.0 tests=none autolearn=ham
	autolearn_force=no version=4.0.1
Path: nntp.eternal-september.org!eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail
From: =?UTF-8?Q?Niocl=C3=A1is=C3=ADn_C=C3=B3il=C3=ADn_de_Ghlost=C3=A9ir?= <Spamassassin@irrt.De>
Newsgroups: comp.lang.ada
Subject: Re: In precision typing we trust
Date: Wed, 20 Aug 2025 19:18:47 +0200
Organization: A noiseless patient Spider
Message-ID: <aa183172-c1b5-4dcf-c5a2-0ffeee3020d9@insomnia247.nl>
References: <107uv9g$3019a$1@dont-email.me> <107v1ji$303of$1@dont-email.me> <336fbb5f-a279-ea8e-67fd-f62bb00d6a89@irrt.De> <107vfb9$34cpj$1@dont-email.me> <10815an$3iu6o$1@dont-email.me> <10835ik$1m96$5@dont-email.me> <d83ec518-c742-0fe5-4146-b5ba0bba5ace@irrt.De>
 <1084nqo$co4e$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; format=flowed; charset=US-ASCII
Injection-Date: Wed, 20 Aug 2025 17:18:53 +0000 (UTC)
Injection-Info: dont-email.me; posting-host="86ae1f29e3703e6c056e35804f98411b";
	logging-data="491944"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/vlj4eVEWQHTdYqglTS7L//JhGwx5vQvZFYmeR++bLfg=="
Cancel-Lock: sha1:itVhL3bdOXTGHvhtdDZiSr/7tq0=
In-Reply-To: <1084nqo$co4e$1@dont-email.me>
Xref: feeder.eternal-september.org comp.lang.ada:66888
List-Id: <comp.lang.ada>

On Wed, 20 Aug 2025, Dmitry A. Kazakov wrote:
|-----------------------------------------------------------------|
|"Then S'Class is a subclass of T'Class. E.g.                     |
|                                                                 |
|   type T is tagged ...;                                         |
|   type S is new T with ...;  -- S'Class is a subclass of T'Class|
|                                                                 |
|In no way an operation declared on S:                            |
|                                                                 |
|   procedure F (X : in out S);                                   |
|                                                                 |
|can be called on T. Ada is type safe."                           |
|-----------------------------------------------------------------|

So Ada is not an OOP language. Cf. Professor Alan Curtis Kay says:
"I don't know of any type systems that

aren't a complete pain, so I still like dynamic typing."
via
HTTPS://userPage.FU-Berlin.De/~ram/pub/pub_jf47ht81Ht/doc_kay_oop_de

Cf. a Smalltalk superclass can receive a subclass message for which no 
superclass counterpart exists, so causing a crash. OOP is poop!