From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org
X-Spam-Level: 
X-Spam-Status: No, score=-1.0 required=5.0 tests=MAILING_LIST_MULTI
	autolearn=ham autolearn_force=no version=3.4.4
Received: (qmail 25061 invoked from network); 30 Jan 2023 21:38:08 -0000
Received: from minnie.tuhs.org (50.116.15.146)
  by inbox.vuxu.org with ESMTPUTF8; 30 Jan 2023 21:38:08 -0000
Received: from minnie.tuhs.org (localhost [IPv6:::1])
	by minnie.tuhs.org (Postfix) with ESMTP id B0E8142644;
	Tue, 31 Jan 2023 07:37:54 +1000 (AEST)
Received: from vmail1.sentex.ca (vmail1.sentex.ca [64.7.153.19])
	by minnie.tuhs.org (Postfix) with ESMTPS id 0F73942644
	for <tuhs@tuhs.org>; Tue, 31 Jan 2023 07:37:47 +1000 (AEST)
Received: (Haraka outbound); Mon, 30 Jan 2023 16:37:46 -0500
Authentication-Results: vmail1.sentex.ca; auth=pass (plain)
Received: from [10.0.1.25] (198.27.14-65.ip.mltn.standardbroadband.ca [198.27.14.65])
	by vmail1.sentex.ca (Haraka/2.8.25) with ESMTPSA id 187380DE-B219-4776-AD5E-FF9A60670386.1
	envelope-from <stuff@riddermarkfarm.ca> (authenticated bits=0)
	(version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256);
	Mon, 30 Jan 2023 16:37:46 -0500
Message-ID: <9f37402c-6773-deb6-651e-0287bf100bfd@riddermarkfarm.ca>
Date: Mon, 30 Jan 2023 16:37:45 -0500
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:91.0)
 Gecko/20100101 Thunderbird/91.10.0
Content-Language: en-CA
To: tuhs@tuhs.org
References: <CAP6exY+_YKkJ2vHpz2sk-yjoDCnyx8g4jW_Lk3qynGV1cCuEOg@mail.gmail.com>
 <CALMnNGiXVeqBznYwhPmwR-jUtq2OMO64HHc2A4F0o+PFJMu3Fw@mail.gmail.com>
 <RHhaWnWrWHJ6A5gopXMwP3kldg6f7uUUNFlrrJOKh_mTUzzdRTC-2SrEFcKcuI5WjX-1QXP_1YMRox50YRGzCqCze8PB3dvi5DR6cIiKE-o=@protonmail.com>
 <CAP6exYJ8S--bhw6wm88JMeJKYiTW0tx_JD-au8NACaoAkQjiOA@mail.gmail.com>
From: Stuff Received <stuff@riddermarkfarm.ca>
In-Reply-To: <CAP6exYJ8S--bhw6wm88JMeJKYiTW0tx_JD-au8NACaoAkQjiOA@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Haraka-GeoIP: NA, CA, ON, Georgetown, 57km
Message-ID-Hash: O237LJ77HMBII4257IFGM6VOQXWQJXGH
X-Message-ID-Hash: O237LJ77HMBII4257IFGM6VOQXWQJXGH
X-MailFrom: stuff@riddermarkfarm.ca
X-Mailman-Rule-Misses: dmarc-mitigation; no-senders; approved; emergency; loop; banned-address; member-moderation; header-match-tuhs.tuhs.org-0; nonmember-moderation; administrivia; implicit-dest; max-recipients; max-size; news-moderation; no-subject; digests; suspicious-header
X-Mailman-Version: 3.3.6b1
Precedence: list
Subject: [TUHS] Re: yet another C discussion (YACD) and: Rust is not C++
List-Id: The Unix Heritage Society mailing list <tuhs.tuhs.org>
Archived-At: <https://www.tuhs.org/mailman3/hyperkitty/list/tuhs@tuhs.org/message/O237LJ77HMBII4257IFGM6VOQXWQJXGH/>
List-Archive: <https://www.tuhs.org/mailman3/hyperkitty/list/tuhs@tuhs.org/>
List-Help: <mailto:tuhs-request@tuhs.org?subject=help>
List-Owner: <mailto:tuhs-owner@tuhs.org>
List-Post: <mailto:tuhs@tuhs.org>
List-Subscribe: <mailto:tuhs-join@tuhs.org>
List-Unsubscribe: <mailto:tuhs-leave@tuhs.org>

On 2023-01-30 14:35, ron minnich wrote (in part):
> As for replacing C, the velocity of Rust is just astonishing. I think 
> folks have been waiting for something to replace C for a long time, and 
> Rust, with all its headaches and issues, is likely to be that thing.

Of possible interest: 
https://devclass.com/2023/01/23/rust-has-no-formal-specification-and-it-is-time-that-was-fixed-says-team-which-longs-for-formalized-type-system/

N.