Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Lawrence D'Oliveiro <ldo@nz.invalid>
Newsgroups: comp.arch
Subject: Re: is Vax addressing sane today
Date: Tue, 10 Sep 2024 23:47:53 -0000 (UTC)
Organization: A noiseless patient Spider
Lines: 11
Message-ID: <vbqlr9$37h9g$4@dont-email.me>
References: <vbd6b9$g147$1@dont-email.me>
	<memo.20240905225550.19028d@jgd.cix.co.uk>
	<2024Sep6.080535@mips.complang.tuwien.ac.at> <vbiftm$ui9$1@gal.iecc.com>
	<2024Sep8.155511@mips.complang.tuwien.ac.at>
	<73c6d21457c487c61051ec52fe25ea5d@www.novabbs.org>
	<vbl3qj$22a2q$1@dont-email.me>
	<09ce1622b872f0b0fa944e868a8c97be@www.novabbs.org>
	<vbnisc$2hb59$1@dont-email.me>
	<b600ed88d1ede37171831e0f3cdd4e31@www.novabbs.org>
	<lkadcnF82okU1@mid.individual.net>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 11 Sep 2024 01:47:53 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="4818e99c43a92fda07902f52f7adfbd5";
	logging-data="3392816"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX185SOjoDF3oTuToOjdeF5T7"
User-Agent: Pan/0.160 (Toresk; )
Cancel-Lock: sha1:aDC3sRmm195asegT50W9Y2zI+w0=
Bytes: 1786

On Tue, 10 Sep 2024 11:13:11 +0300, Niklas Holsti wrote:

> Not all the type-safe, checking languages are equal in that respect. In
> some languages, and I am thinking of Ada, the language design and the
> favored programming styles work to reduce the number of run-time checks
> required.

True, and this was also demonstrated with Pascal before Ada.

It’s a point that those who are accustomed to program in C seem to find it 
difficult to appreciate.