From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id 4IeIFDf7jV/OWwAA0tVLHw (envelope-from ) for ; Mon, 19 Oct 2020 20:46:47 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id MMVjEDf7jV/lGwAA1q6Kng (envelope-from ) for ; Mon, 19 Oct 2020 20:46:47 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 1B9BF9402A0 for ; Mon, 19 Oct 2020 20:46:47 +0000 (UTC) Received: from localhost ([::1]:54514 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kUc3K-0001X2-31 for larch@yhetil.org; Mon, 19 Oct 2020 16:46:46 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:35618) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kUc2q-0001Gw-Mx for guix-devel@gnu.org; Mon, 19 Oct 2020 16:46:17 -0400 Received: from mail-qv1-xf34.google.com ([2607:f8b0:4864:20::f34]:45141) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kUc2h-0005wE-Mw for guix-devel@gnu.org; Mon, 19 Oct 2020 16:46:15 -0400 Received: by mail-qv1-xf34.google.com with SMTP id w5so461576qvn.12 for ; Mon, 19 Oct 2020 13:46:05 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc:content-transfer-encoding; bh=HCcoelUHL3bIprZtubSfAEk9ps1xsNkTv558dgl/34M=; b=Axt90E3t7yeZRhghsjngcNAILmifxgvpOEPNE2D+lY9GxEGXJaZK9QU0kHs8nEWtjT NaW54Gk8Vj2x+FapgWPOJB/tSzff2cpFo8U+NZNw3Ngyu3odm42IGDB+YtAmfLj/YPzB BjaeP6v6N0rA+beGzewwhSJD41oe9qQTJM2u7P2epaAM9lQZ6Gtp9vJLjxeMCStVDz25 cth23BvsBTEsxrvCucrwVzaRo45BmWjl5hnCOeoOxNYmSIxL1dcDoXuU75mhOqjL3Cqo bmI6+2/Ko2U1c7Ac5vugxCm0+rFxjkXFamm/1S5Aa4Uw7gQVQ+6YQtfgrddFVsg6786+ OjWw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc:content-transfer-encoding; bh=HCcoelUHL3bIprZtubSfAEk9ps1xsNkTv558dgl/34M=; b=nI78ZUoqsD0ePV7pSx9cUp49/++23QfumpPNIrVRB2AHdnS9Ivg2YfU0vnUmNFMg+1 jUx8psVZ2GIXBybeG4WsXibk17piD1nVh8V1HqtNZrJchsZmdb5t2tV78VYL5sHcRGDm 7u9Gv+sQtILDe7I9O8qYdG1opsdd61B679YNpj/duTVs81Wn5bITRXnqdZT7EFG392CA iC0mGW5aFhSBZ6mnlWZgKt0q7jaNCi81JqYwvx9NVMX1H2gfvke/mJz5r/yn6kkko/h3 oVD2wghPJEg0mSJw0ie5yTCX7NBb2gaVSQ0a2WqI8uBguJgL7dVnHhBvL3RdrbRhBW6H b3yQ== X-Gm-Message-State: AOAM530fR4K6a37W7IxovxId+V61GPdBS7YgcXkafrCQwexNNEY7Rgy6 qFsUOUspbcJlCiqGQLYOp9eIwK+tnsEmGRtxVLQ= X-Google-Smtp-Source: ABdhPJykJabdSXow+owSrXOtXWyDiYcr9w9hxxy3Fj88q8CXdEFiuW9Q9YNM+qoLy5mR0CzKGcGaq/q1/qfkOlUBgAA= X-Received: by 2002:a0c:bd2d:: with SMTP id m45mr1739192qvg.36.1603140364733; Mon, 19 Oct 2020 13:46:04 -0700 (PDT) MIME-Version: 1.0 References: <875z7a78ww.fsf@gnu.org> <87a6wm5mv5.fsf@gmail.com> <874kmub8e1.fsf@nckx> <875z785n95.fsf@gmail.com> In-Reply-To: <875z785n95.fsf@gmail.com> From: zimoun Date: Mon, 19 Oct 2020 22:45:53 +0200 Message-ID: Subject: Re: Using #true and #false everywhere? To: Maxim Cournoyer Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=2607:f8b0:4864:20::f34; envelope-from=zimon.toutoune@gmail.com; helo=mail-qv1-xf34.google.com X-detected-operating-system: by eggs.gnu.org: No matching host in p0f cache. That's all we know. X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: Guix Devel Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=fail (rsa verify failed) header.d=gmail.com header.s=20161025 header.b=Axt90E3t; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Spam-Score: 1.09 X-TUID: WcOnVfT6nS3N Dear, On Sun, 18 Oct 2020 at 03:36, Maxim Cournoyer w= rote: > Tobias Geerinckx-Rice writes: > > Maxim Cournoyer =E5=86=99=E9=81=93=EF=BC=9A > >> I'd only agree to such a change if it's already been standardized in > >> the > >> RnRS as such > > > > Sure, I think that's implied. #true and #false are part of the > > R7RS-small standard. > > Thanks, I couldn't find where that was defined. Now that you've pointed > it to me, it's defined in section 6.3 Booleans: > > The standard boolean objects for true and false are written as #t and > #f. Alternatively, they can be written #true and #false, > respectively. > > > I don't know what Guile =E2=80=98is=E2=80=99, but it supports that part= of the > > standard. I don't think it implements any of the RnRS completely? > > I've heard it said that Guile targets R5RS, but that was ages ago. > > info '(guile) Guile and Scheme' suggests it supports all of the R5RS, > R6RS or R7RS standards, plus a bunch of srfi modules. > > With this cleared, I don't have an objection to the proposal, other than > the other points I've mentioned earlier (to recall those points: I don't > perceive much value in it and it'll make the 'git blame' output noisy). I do not have a strong opinion but I am still perplex if it really simplifies because all the material around about Scheme and especially the Guile manual still uses #t/#f and not #true/#false. For example, --8<---------------cut here---------------start------------->8--- $ guix repl GNU Guile 3.0.4 Copyright (C) 1995-2020 Free Software Foundation, Inc. Guile comes with ABSOLUTELY NO WARRANTY; for details type `,show w'. This program is free software, and you are welcome to redistribute it under certain conditions; type `,show c' for details. Enter `,help' for help. scheme@(guix-user)> ,use(gnu packages base) scheme@(guix-user)> (eq? hello coreutils) $1 =3D #f --8<---------------cut here---------------end--------------->8--- Is it possible to display #false instead? If not, I am not convinced it is really easier to read #true/#false in the Guix code, then #t/#f in the REPL or Guile documentation. My bikeshedding time is over. :-) All the best, simon