From nobody Fri Sep 06 16:00:30 2024
X-Original-To: freebsd-hackers@mlmmj.nyi.freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1])
	by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4X0gtW1FKnz5VPC5
	for <freebsd-hackers@mlmmj.nyi.freebsd.org>; Fri, 06 Sep 2024 16:00:35 +0000 (UTC)
	(envelope-from phk@critter.freebsd.dk)
Received: from phk.freebsd.dk (phk.freebsd.dk [130.225.244.222])
	(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
	 key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256)
	(Client did not present a certificate)
	by mx1.freebsd.org (Postfix) with ESMTPS id 4X0gtV0hJnz4rXN;
	Fri,  6 Sep 2024 16:00:33 +0000 (UTC)
	(envelope-from phk@critter.freebsd.dk)
Authentication-Results: mx1.freebsd.org;
	none
Received: from critter.freebsd.dk (unknown [192.168.55.3])
	(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
	 key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256)
	(No client certificate requested)
	by phk.freebsd.dk (Postfix) with ESMTPS id A6A0F8928B;
	Fri, 06 Sep 2024 16:00:31 +0000 (UTC)
Received: (from phk@localhost)
	by critter.freebsd.dk (8.18.1/8.16.1/Submit) id 486G0UrR046040;
	Fri, 6 Sep 2024 16:00:30 GMT
	(envelope-from phk)
Message-Id: <202409061600.486G0UrR046040@critter.freebsd.dk>
To: Daniel Eischen <eischen@vigrid.com>
cc: Antranig Vartanian <antranigv@freebsd.am>,
        Alan Somers <asomers@freebsd.org>,
        FreeBSD Hackers <freebsd-hackers@freebsd.org>
Subject: Re: The Case for Rust (in any system)
In-reply-to: <102A9A46-D577-4651-8418-5E7946EA30A0@vigrid.com>
From: "Poul-Henning Kamp" <phk@phk.freebsd.dk>
References: <202409060836.4868agnQ042462@critter.freebsd.dk> <102A9A46-D577-4651-8418-5E7946EA30A0@vigrid.com>
List-Id: Technical discussions relating to FreeBSD <freebsd-hackers.freebsd.org>
List-Archive: https://lists.freebsd.org/archives/freebsd-hackers
List-Help: <mailto:freebsd-hackers+help@freebsd.org>
List-Post: <mailto:freebsd-hackers@freebsd.org>
List-Subscribe: <mailto:freebsd-hackers+subscribe@freebsd.org>
List-Unsubscribe: <mailto:freebsd-hackers+unsubscribe@freebsd.org>
Sender: owner-freebsd-hackers@FreeBSD.org
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-ID: <46038.1725638430.1@critter.freebsd.dk>
Content-Transfer-Encoding: quoted-printable
Date: Fri, 06 Sep 2024 16:00:30 +0000
X-Spamd-Bar: ----
X-Rspamd-Pre-Result: action=no action;
	module=replies;
	Message is reply to one we originated
X-Spamd-Result: default: False [-4.00 / 15.00];
	REPLY(-4.00)[];
	ASN(0.00)[asn:1835, ipnet:130.225.0.0/16, country:EU]
X-Rspamd-Queue-Id: 4X0gtV0hJnz4rXN

--------
Daniel Eischen writes:

> And back in the 80s, Ada was supposed to be the answer for safe coding l=
anguage.

And it seems to have done quite well.

Show me any other language which has developed something like SPARK ?

I think Ada's problem was that it was a "DoD language" so everything was
priced 10 times what it should have been, (because why not when you can
get away with it...)

-- =

Poul-Henning Kamp       | UNIX since Zilog Zeus 3.20
phk@FreeBSD.ORG         | TCP/IP since RFC 956
FreeBSD committer       | BSD since 4.3-tahoe    =

Never attribute to malice what can adequately be explained by incompetence=
.