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: Mon, 18 Aug 2025 15:59:18 +0200
Organization: A noiseless patient Spider
Message-ID: <336fbb5f-a279-ea8e-67fd-f62bb00d6a89@irrt.De>
References: <107uv9g$3019a$1@dont-email.me> <107v1ji$303of$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Injection-Date: Mon, 18 Aug 2025 13:59:27 +0000 (UTC)
Injection-Info: dont-email.me; posting-host="0e695199846c3d49f76a82200cd12fe3";
	logging-data="3264593"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/SIgc+Nc6PJT6tjDDpkf8XmfisSU1XUR9Ynu+QFE49FA=="
Cancel-Lock: sha1:iNQjUzA7OtBRAgscf6dWln52gZQ=
In-Reply-To: <107v1ji$303of$1@dont-email.me>
Xref: feeder.eternal-september.org comp.lang.ada:66876
List-Id: <comp.lang.ada>

On Mon, 18 Aug 2025, Dmitry A. Kazakov wrote:
|-----------------------------------------------------------------------------|
|"These are unrelated issues. Strong typing is about:                         |
|                                                                             |
|1. Any object has a type. Note that many OO languages violate this principle,|
|but not Ada which has T'Class and T separate.                                |
|                                                                             |
|[. . .]"                                                                     |
|-----------------------------------------------------------------------------|

Dear Mister Kazakov,

Ada is a strongly typed language so Ada is not an OOP language.

With best regards.