From nobody Mon Sep  9 08:14:06 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 4X2KNx137Hz5W6Yf
	for <freebsd-hackers@mlmmj.nyi.freebsd.org>; Mon, 09 Sep 2024 08:14:09 +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 4X2KNw5l1Jz4XRk;
	Mon,  9 Sep 2024 08:14:08 +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 295E489284;
	Mon, 09 Sep 2024 08:14:07 +0000 (UTC)
Received: (from phk@localhost)
	by critter.freebsd.dk (8.18.1/8.16.1/Submit) id 4898E6cR079209;
	Mon, 9 Sep 2024 08:14:06 GMT
	(envelope-from phk)
Message-Id: <202409090814.4898E6cR079209@critter.freebsd.dk>
To: David Chisnall <theraven@freebsd.org>
cc: Warner Losh <imp@bsdimp.com>, Kristof Provost <kp@freebsd.org>,
        Alan Somers <asomers@freebsd.org>, Dmitry Salychev <dsl@freebsd.org>,
        Jan Knepper <jan@digitaldaemon.com>,
        FreeBSD Hackers <freebsd-hackers@freebsd.org>
Subject: Re: The Case for Rust (in any system)
In-reply-to: <0C28DE97-D536-404E-A385-0920C12A768A@freebsd.org>
From: "Poul-Henning Kamp" <phk@phk.freebsd.dk>
References: <202409090739.4897d92v078621@critter.freebsd.dk> <0C28DE97-D536-404E-A385-0920C12A768A@freebsd.org>
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: <79207.1725869646.1@critter.freebsd.dk>
Date: Mon, 09 Sep 2024 08:14:06 +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: 4X2KNw5l1Jz4XRk

--------
David Chisnall writes:
> On 9 Sep 2024, at 08:39, Poul-Henning Kamp <phk@phk.freebsd.dk> wrote:
> > 
> > But do you agree that the C++ compiler's take on things make more sense
> > than the C compiler's in these cases ?
>
> I'm not sure I've seen many places where it makes a difference. To me,
> most of the benefit of C++ comes from the ability to create types
> that enforce invariants.

I fully agree, but I am not talking about reaping "most of the benefits",
I'm talking about "how to get started with C++" and if it is worth 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.