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?= Newsgroups: comp.lang.ada Subject: Re: In precision typing we trust Date: Wed, 20 Aug 2025 15:59:36 +0200 Organization: A noiseless patient Spider Message-ID: 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> MIME-Version: 1.0 Content-Type: text/plain; format=flowed; charset=US-ASCII Injection-Date: Wed, 20 Aug 2025 13:59:42 +0000 (UTC) Injection-Info: dont-email.me; posting-host="86ae1f29e3703e6c056e35804f98411b"; logging-data="393182"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19TsPDKle0gNINZ8wrTpbOrfe30ugDx1H6HskBkxoEThg==" Cancel-Lock: sha1:lWFWtby21QPjaK9uMSCrz3TLlU0= In-Reply-To: <10835ik$1m96$5@dont-email.me> Xref: feeder.eternal-september.org comp.lang.ada:66885 List-Id: On Wed, 20 Aug 2025, so became written: |-----------------------------------------------------------------------| |"On Tue, 19 Aug 2025 08:24:23 +0200, J-P. Rosen wrote: | | | |> OOP implies a weakening of the typing system, since a wider class can| |> contain any object of the subclass. | | | |Or conversely, a strengthening, since operations defined only on a | |subclass will not work on the superclass." | |-----------------------------------------------------------------------| Operations defined only on a subclass would result in a superclass (or any unrelated class) receivng a message which does not match its protocol so it would crash. That is OOP. We do not need that. That is not Ada. We need Ada.