From nobody Wed Sep 11 11:01: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 4X3d0s2Xf9z5WPq7 for ; Wed, 11 Sep 2024 11:01:17 +0000 (UTC) (envelope-from paulf2718@gmail.com) Received: from mail-wm1-x329.google.com (mail-wm1-x329.google.com [IPv6:2a00:1450:4864:20::329]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "smtp.gmail.com", Issuer "WR4" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4X3d0r3GX3z4VYL for ; Wed, 11 Sep 2024 11:01:16 +0000 (UTC) (envelope-from paulf2718@gmail.com) Authentication-Results: mx1.freebsd.org; dkim=pass header.d=gmail.com header.s=20230601 header.b=KGxk24pa; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (mx1.freebsd.org: domain of paulf2718@gmail.com designates 2a00:1450:4864:20::329 as permitted sender) smtp.mailfrom=paulf2718@gmail.com Received: by mail-wm1-x329.google.com with SMTP id 5b1f17b1804b1-42cae4eb026so42745095e9.0 for ; Wed, 11 Sep 2024 04:01:16 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1726052475; x=1726657275; darn=freebsd.org; h=content-transfer-encoding:in-reply-to:from:content-language :references:to:subject:user-agent:mime-version:date:message-id:from :to:cc:subject:date:message-id:reply-to; bh=e9wcYK4mV5NMZmFKz/mkF0wkspgJCJ0nJz2LxfBd0sM=; b=KGxk24pacXm0tGif5bEmW0pudpgnMweZJz0WDnoIla8+/OwGh3BpZMhW3g1i0HUvF0 tYXyGsVBXXndZ71kp0DXnfXlYijB+sUPw11jiDH0rTM3LePHhvcjPNRtomhAHUvXJUM4 p6F4hHMgG2yD5CEjqGjSRXwHyaIVnTa0MlRQKzdfsFqhsDIpqgVhLQH34/5wpjXpIsH9 E5rwTQDqxRJ9TSsE9BjQCkRi3BZyH0pCwrCxH25hHNydFpKbVX41FB5Q2mzGjEteuuL5 lNnjz3Ei7UEqIX9gM94uM+fQQJpZd+pDgHkhyMHpdM6EbDZNMlMVvn4NHD5i9is7eSn6 faVw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1726052475; x=1726657275; h=content-transfer-encoding:in-reply-to:from:content-language :references:to:subject:user-agent:mime-version:date:message-id :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=e9wcYK4mV5NMZmFKz/mkF0wkspgJCJ0nJz2LxfBd0sM=; b=xJbM94rEMo6l5ZW4u2vesnEKVpbOX56oB9yLEBkyTsqzs3ydnhIeJNNkIlVFrEQmKM 0JQ0dkYtL+1YzU65rR9apX5AZlWDKJ20CvhADwaTzAXx5Hhwuo6s9I40CsSDitZGT0+h W4UPJVVdN8BnkcGjP87VrzhOsqiccKwyOlVyuoxdCSTsHBNFdBCY5DdQ60r3DPpAfBfW F5/rddsrAuqXZrZNbVtIo1ERJFdWXhhqtyjfw4QUZ45Cbnc4lZCe858q1jnL/RAW0JL3 n2CZe8HpzNVt1m1xqyrWLAZTRa3uE4qPDzSbayW10bl/P9tdo5YmtY93hzXSOsQYxGc3 MIfw== X-Gm-Message-State: AOJu0Yyv54PFGFxjE8z9pDYaRnsXcmsfTKnR+Zz5xanlXypBQWZBRuou u3jim1WoZOMwr8wVgDOM/FCKIl3d7MvoWXv4cTe2buIGO3FBORTennhkLQ== X-Google-Smtp-Source: AGHT+IEfi6lyr8l5EdX5pnz3RPO5fzaYg+GuqJLQioOcNiNZb3hyuxm+THBvPen8s/4pAxH5IkXdyA== X-Received: by 2002:a05:600c:3151:b0:42c:af2a:dcf4 with SMTP id 5b1f17b1804b1-42caf2adf70mr96950535e9.27.1726052473864; Wed, 11 Sep 2024 04:01:13 -0700 (PDT) Received: from ?IPV6:2a01:cb15:801f:7500:1aa9:5ff:fe16:2efb? ([2a01:cb15:801f:7500:1aa9:5ff:fe16:2efb]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-42cb2a08a1dsm119753195e9.1.2024.09.11.04.01.13 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 11 Sep 2024 04:01:13 -0700 (PDT) Message-ID: <883ce7f6-b5f4-4dc1-9309-f1d3e6333b60@gmail.com> Date: Wed, 11 Sep 2024 11:01:12 +0000 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 User-Agent: Mozilla Thunderbird Subject: Re: The Case for Rust (in any system) To: freebsd-hackers@freebsd.org References: Content-Language: en-US From: Paul Floyd In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-Spamd-Bar: --- X-Spamd-Result: default: False [-3.94 / 15.00]; NEURAL_HAM_LONG(-1.00)[-1.000]; NEURAL_HAM_MEDIUM(-1.00)[-1.000]; NEURAL_HAM_SHORT(-0.95)[-0.951]; DMARC_POLICY_ALLOW(-0.50)[gmail.com,none]; R_SPF_ALLOW(-0.20)[+ip6:2a00:1450:4000::/36:c]; R_DKIM_ALLOW(-0.20)[gmail.com:s=20230601]; MIME_GOOD(-0.10)[text/plain]; XM_UA_NO_VERSION(0.01)[]; RCVD_TLS_LAST(0.00)[]; MIME_TRACE(0.00)[0:+]; FREEMAIL_ENVFROM(0.00)[gmail.com]; TO_MATCH_ENVRCPT_ALL(0.00)[]; FREEMAIL_FROM(0.00)[gmail.com]; ARC_NA(0.00)[]; RCPT_COUNT_ONE(0.00)[1]; FROM_HAS_DN(0.00)[]; DWL_DNSWL_NONE(0.00)[gmail.com:dkim]; TO_DN_NONE(0.00)[]; RCVD_COUNT_TWO(0.00)[2]; FROM_EQ_ENVFROM(0.00)[]; DKIM_TRACE(0.00)[gmail.com:+]; PREVIOUSLY_DELIVERED(0.00)[freebsd-hackers@freebsd.org]; MID_RHS_MATCH_FROM(0.00)[]; MLMMJ_DEST(0.00)[freebsd-hackers@freebsd.org]; ASN(0.00)[asn:15169, ipnet:2a00:1450::/32, country:US]; RCVD_VIA_SMTP_AUTH(0.00)[]; RCVD_IN_DNSWL_NONE(0.00)[2a00:1450:4864:20::329:from] X-Rspamd-Queue-Id: 4X3d0r3GX3z4VYL On 06-09-24 08:16, Antranig Vartanian wrote: > One issue with Oberon (and its marketing) is that it relies on a “Garbage > Collector”, which is not that nice for a low-level system programming language. > However, I learned lately that the GC can be fine-tuned to make it hardcoded > during compile time instead of runtime. > > My team is also willing to write a PoC of simple FreeBSD programs in Oberon as > a proof that it works. I already have a PoC of a kernel module in Oberon that > compiles on FreeBSD using voc. > > My point is: yes, we do need better languages. Yes, we do need memory-safety > and better tooling. But is Rust the answer? > > Don’t want to sound like “bragging” but the Rust ecosystem is very new > while us, Wirthians, have been doing memory-safe programming since > the 80s. That's interesting. Does it support all Oberon dialects? I bet it would satisfy most people that want small and fast compilers. A+ Paul