From nobody Fri Sep 6 18:25:12 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 4X0l5g3Ytmz5VQg6 for ; Fri, 06 Sep 2024 18:25:27 +0000 (UTC) (envelope-from eischen@vigrid.com) Received: from mail.netplex.net (mail.netplex.net [204.213.176.9]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client CN "*.netplex.net", Issuer "RapidSSL TLS RSA CA G1" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4X0l5f6plfz4Ryy; Fri, 6 Sep 2024 18:25:26 +0000 (UTC) (envelope-from eischen@vigrid.com) Authentication-Results: mx1.freebsd.org; none Received: from smtpclient.apple (mobile-166-196-106-050.mycingular.net [166.196.106.50] (may be forged)) (authenticated bits=0) by mail.netplex.net (8.18.1/8.15.1/NETPLEX) with ESMTPSA id 486IPN3N010023 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Fri, 6 Sep 2024 14:25:23 -0400 X-Virus-Scanned: by AMaViS and Clam AntiVirus (mail.netplex.net) X-Greylist: Sender succeeded SMTP AUTH, not delayed by milter-greylist-4.4.3 (mail.netplex.net [204.213.176.9]); Fri, 06 Sep 2024 14:25:24 -0400 (EDT) Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable From: Daniel Eischen List-Id: Technical discussions relating to FreeBSD List-Archive: https://lists.freebsd.org/archives/freebsd-hackers List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-freebsd-hackers@FreeBSD.org Mime-Version: 1.0 (1.0) Subject: Re: The Case for Rust (in any system) Date: Fri, 6 Sep 2024 14:25:12 -0400 Message-Id: References: <202409061600.486G0UrR046040@critter.freebsd.dk> Cc: Antranig Vartanian , Alan Somers , FreeBSD Hackers In-Reply-To: <202409061600.486G0UrR046040@critter.freebsd.dk> To: Poul-Henning Kamp X-Mailer: iPhone Mail (21G93) 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:6062, ipnet:204.213.176.0/20, country:US] X-Rspamd-Queue-Id: 4X0l5f6plfz4Ryy > On Sep 6, 2024, at 12:01=E2=80=AFPM, Poul-Henning Kamp wrote: >=20 > =EF=BB=BF-------- > Daniel Eischen writes: >=20 >> And back in the 80s, Ada was supposed to be the answer for safe coding la= nguage. >=20 > And it seems to have done quite well. >=20 > Show me any other language which has developed something like SPARK ? >=20 > 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...) I am not disagreeing, I still develop in Ada to this day as a DoD contractor= , but it is a constant struggle to find new talent that wants to develop in A= da, as well as convincing management that we should still be using Ada becau= se of the former. 38 years as SW engineer, I always tell management, any good SW developer sho= uld be able to pick up a high-level language without much problem; it's the "= I don't know that, I don't want to learn it" attitude that is the problem. I= f we have to start using rust, so be it, I just don't want it to be just ano= ther new shiny thing that becomes technical debt in 5 years. -- DE=