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=unavailable
	autolearn_force=no version=4.0.1
Path: nntp.eternal-september.org!eternal-september.org!feeder.eternal-september.org!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Newsgroups: comp.lang.ada
Subject: Re: In precision typing we trust
Date: Wed, 20 Aug 2025 21:10:05 +0300
Organization: Tidorum Ltd
Message-ID: <mgmhbtF8u6bU1@mid.individual.net>
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>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
X-Trace: individual.net /NM/rDBhLV2QQL9NdTMpXQn6viGU2SQybv1vUT7xAkoJ6PVbUw
Cancel-Lock: sha1:1kJmBQ9rUQxNltcltCOk+bzN+9Q= sha256:HdSb9UVutya6tiyep1hH+JwuK3JNpTxvIrxEu3J5RUI=
User-Agent: Mozilla Thunderbird
Content-Language: en-US
In-Reply-To: <107vfb9$34cpj$1@dont-email.me>
Xref: feeder.eternal-september.org comp.lang.ada:66889
List-Id: <comp.lang.ada>

On 2025-08-18 18:03, Dmitry A. Kazakov wrote:
> On 2025-08-18 15:59, Niocláisín Cóilín de Ghlostéir wrote:
>> 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.                                |
>> |                                                                             |
>> |[. . 
>> .]"                                                                     |
>> |-----------------------------------------------------------------------------|
>>
>> Ada is a strongly typed language so Ada is not an OOP language.
> 
> Ada is a strongly typed OO language.


I would say: Ada supports object-oriented programming, but also supports 
other programming paradigms. So calling Ada an "OO language" is saying 
too little.

Some people called Ada 83 an "object-based" language, perhaps because 
Ada programs typically modelled the real application objects (as 
abstract data types) even before tagged types were available.

It seems to me that the strength of typing in a language is mostly 
orthogonal to the differences between object-oriented programming and 
other paradigms.

But I understand that some people may feel that the "freedom" of weak or 
duck typing is important to their personal programming style, and 
perhaps especially so for object-oriented programming where it has a 
long history, as shown by other posts in this thread.