Re: In precision typing we trust

[Niklas Holsti <niklas.holsti@tidorum.invalid>]

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.