From nobody Sun Jan 21 21:04:20 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 4TJ5Sx5pqwz57l6b for ; Sun, 21 Jan 2024 21:04:33 +0000 (UTC) (envelope-from asomers@gmail.com) Received: from mail-ua1-f44.google.com (mail-ua1-f44.google.com [209.85.222.44]) (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 "GTS CA 1D4" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4TJ5Sx3cHpz43rq; Sun, 21 Jan 2024 21:04:33 +0000 (UTC) (envelope-from asomers@gmail.com) Authentication-Results: mx1.freebsd.org; none Received: by mail-ua1-f44.google.com with SMTP id a1e0cc1a2514c-7d2a67daa25so744340241.0; Sun, 21 Jan 2024 13:04:33 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1705871072; x=1706475872; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=3MIuRuOefXwb9LcYrtteU7dflxv0rYHm6tYXjpeAwos=; b=WdWgojCi8axHmOCUVsVXlPq31iUNraACSgUzROQQUZxtM7l5uPW3R9zLivgtx7X5KE aNw3xv6CK7LNFKS2+Nen5dtALYyZSIhjORoOPFAeXwTmAQiOXtNN8xJTRnOEKgU1aPbk sjOuM4o2X8fVQvEujhWJ9F75ENjw34jhfnZzL5z95ZiZAHMRdeGUvqKWMrkqaLHe4SUp 6RZysm9+eeF7iM6Wflx5HC/CKG8vsXvxZzrFY4qtTNfY9+HQyskWWnWtoSWC1dQykLON FLLyuTHyPI5f/y1QEf7BsjVKgxxILwfz2vrJaL0nrHSrJk6eqI71KySOi0XZSu0VIXOi g/EQ== X-Gm-Message-State: AOJu0Yz8rGBF07Op3uF0ka8tE4fdOKsA+cza6QAdulvTkk4R183gxokh pv8bORGVZeOkXAmIrBRVhC4PtbjSbQi6RjeFGppoeC3Co5KJAt5KFQiVwvLgBYBXX1+MoU7dT93 4leAficcfHg2yGaLE6ZX0ik5SOWCNByJE X-Google-Smtp-Source: AGHT+IHt3YobldrAhEDHkKQCtGLsW+gU4pqFBw8cfZxp7ggbfjiHJ5TcfecSY9KpP0lwdd0Cop0nUO3tSxwF8Hq59zM= X-Received: by 2002:a67:f48f:0:b0:469:a26c:cd40 with SMTP id o15-20020a67f48f000000b00469a26ccd40mr1344036vsn.71.1705871072599; Sun, 21 Jan 2024 13:04:32 -0800 (PST) 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 References: <1673801705774097@mail.yandex.ru> <202401210751.40L7pWEF011188@critter.freebsd.dk> <40bc1694-ee00-431b-866e-396e9d5c07a2@m5p.com> <202401211626.40LGQDim013134@critter.freebsd.dk> <4EF67303-A995-457A-990F-A4972C23EA80@FreeBSD.org> <202401212013.40LKD1a7095506@critter.freebsd.dk> In-Reply-To: <202401212013.40LKD1a7095506@critter.freebsd.dk> From: Alan Somers Date: Sun, 21 Jan 2024 14:04:20 -0700 Message-ID: Subject: Re: The Case for Rust (in the base system) To: Poul-Henning Kamp Cc: Warner Losh , Kristof Provost , George Mitchell , freebsd-hackers@freebsd.org Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Rspamd-Queue-Id: 4TJ5Sx3cHpz43rq 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)[]; TAGGED_RCPT(0.00)[freebsd]; ASN(0.00)[asn:15169, ipnet:209.85.128.0/17, country:US] On Sun, Jan 21, 2024 at 1:13=E2=80=AFPM Poul-Henning Kamp wrote: > > -------- > Warner Losh writes: > > > Even if all the cool kids are doing it, it doesn't mean the cool kids a= re > > wrong. We should not reject the hypothesis on that basis alone. > > I certainly didn't mean to imply that, my point about cvsup was precisely > that the proof of the pudding is in the eating. > > The only comment I want to add, is that the test-cases should be > expressed such that, if/when we find out Rust wasn't God's gift to > programmers, we can reimplement the tool which interprets them in > some hot-language-du-jour, without having to rewrite all the actual > test-cases. I think imp and phk are after different things. phk wants a tool written in Rust that be installed from ports and interpret test cases defined in src. That's similar to the fsx tests, which I'm planning to add to src once the package builder catches up. But imp wants test cases that are actually written in Rust and which live in src, to test his external toolchain proposal. That's very different. It's an unusual requirement. Off hand I can't think of many subsystems that are a good match for a test suite like that. ypclnt(3) might be one.