From nobody Fri Sep 6 13:16:26 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 4X0cFV06pMz5V2qN for ; Fri, 06 Sep 2024 13:16:46 +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 4X0cFT42nnz4GQf; Fri, 6 Sep 2024 13:16:45 +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 486DGa6H060878 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Fri, 6 Sep 2024 09:16:36 -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 09:16:37 -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 09:16:26 -0400 Message-Id: <102A9A46-D577-4651-8418-5E7946EA30A0@vigrid.com> References: <202409060836.4868agnQ042462@critter.freebsd.dk> Cc: Antranig Vartanian , Alan Somers , FreeBSD Hackers In-Reply-To: <202409060836.4868agnQ042462@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: 4X0cFT42nnz4GQf > On Sep 6, 2024, at 4:37=E2=80=AFAM, Poul-Henning Kamp = wrote: >=20 > =EF=BB=BF-------- > Antranig Vartanian writes: >=20 >> My point is: yes, we do need better languages. Yes, we do need memory-saf= ety >> and better tooling. But is Rust the answer? >=20 > Rust is what all the cool kids run right now, which they will deny, > claiming that Rust Is Simply Superior in replies to this email, > despite this prediction. >=20 > But as I said in an email a couple of days ago: We should not > anoint some particular subset of programming languages or other. >=20 > We should answer the question "What is FreeBSD?" in a way which > does not contain a very short and controversial list of "approved > programming languages". >=20 > A pkg-based FreeBSD will allow the Rust people to write good code > for FreeBSD in Rust, and C, C++, Go, Lua, OBERON or Ada can freely > compete with them, without causing year-long slug-fests on the > mailing lists. >=20 > And if the INTERCAL people want to write FreeBSD kernel code in > INTERCAL, they get to maintain whatever it takes for their > compiler to grok the interfaces to the kernel, likewise for > any other language. >=20 > Poul-Henning >=20 >=20 > PS: I'm disappointed you did not mention Ada with SPARK. +1 And back in the 80s, Ada was supposed to be the answer for safe coding langu= age. -- DE=