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!.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: In precision typing we trust Date: Tue, 26 Aug 2025 21:43:13 +0200 Organization: A noiseless patient Spider Message-ID: <108l2og$8d4m$1@dont-email.me> 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> <10855lq$gj8l$1@dont-email.me> <1088h1a$19635$1@dont-email.me> <1089p1i$1ig1d$1@dont-email.me> <108aq2p$1qo9o$1@dont-email.me> <108dh2l$2f5h3$1@dont-email.me> <108ej11$2mbr8$1@dont-email.me> <108g1fv$32gqg$3@dont-email.me> <108h6b7$3a75k$3@dont-email.me> <108ijfj$3lihe$4@dont-email.me> <108jqcg$3ti12$2@dont-email.me> <87cy8im3kc.fsf@nightsong.com> <108kp8k$5pr0$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Tue, 26 Aug 2025 19:43:13 +0000 (UTC) Injection-Info: dont-email.me; posting-host="a566786fa3882b9931648d94db222c97"; logging-data="275606"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+MOfSmd7yA6xR6HM6FLJNOK3wN+ODk0DM=" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:Un4/t0dQlt97byMMWzSzKU2iBsw= Content-Language: en-US In-Reply-To: <108kp8k$5pr0$1@dont-email.me> Xref: feeder.eternal-september.org comp.lang.ada:66931 List-Id: On 2025-08-26 19:01, Kevin Chadwick wrote: > Wouldn't that make Python slow and unreliable? Python is incredibly slow, but that is not the point. It is untyped and thus unsafe. One simply cannot talk about reliability because there is no types to be checked, no interfaces, no contracts, nothing. In no way you could reason about program correctness without running it. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de