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 SJtQMCWeiV+VBgAA0tVLHw (envelope-from ) for ; Fri, 16 Oct 2020 13:20:37 +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 QEArLCWeiV+PMAAA1q6Kng (envelope-from ) for ; Fri, 16 Oct 2020 13:20:37 +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 446B3940418 for ; Fri, 16 Oct 2020 13:20:37 +0000 (UTC) Received: from localhost ([::1]:57502 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kTPeu-0000Yc-3i for larch@yhetil.org; Fri, 16 Oct 2020 09:20:36 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:54566) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kTPeO-0000PY-2S for guix-devel@gnu.org; Fri, 16 Oct 2020 09:20:04 -0400 Received: from mail-il1-x141.google.com ([2607:f8b0:4864:20::141]:32996) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kTPeM-0006q7-BJ; Fri, 16 Oct 2020 09:20:03 -0400 Received: by mail-il1-x141.google.com with SMTP id j8so2647315ilk.0; Fri, 16 Oct 2020 06:20:00 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version:content-transfer-encoding; bh=QsSGsqFyM9TGm3tZw3Jnlpy1DCor/ukl5kfxve8Dyvo=; b=PRQnM5HLpZAU/Ze98EGPt6z/BwsgFx2pYZlB4hxolL94VZ82XCxTBeESeYWUC0XaEj MyjgA57rlRRmMHQPkgPamUAueJ0/MJzqoIpYTjZWKD10xOjViV4aWossh6Vx+hx4bhLC EYRHMYb0V11Sq1SWn3e1HPT81e9nzpqKkK/AFKJg0B5ryReUKsW1rlWNjDe0JkAc6aPz UpmJuKO+4ZgZGg+Ovu69VQjawkZzAD+TYK+fyuM8e7qNYfw8B4EPulXtK+rUYvrV8f1q WwOQUV3XKIl6mE2Uqg3xgdtTVk7hFuvX4B4vyTWldeVL1C5fy8//XadwOIG6ifE313+Z sHqw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:references:date:in-reply-to :message-id:user-agent:mime-version:content-transfer-encoding; bh=QsSGsqFyM9TGm3tZw3Jnlpy1DCor/ukl5kfxve8Dyvo=; b=cVCBq6TBVHQ757n8W284osTVOcP+ert3puXbqQzzY4W3hsmL4CJzxxP5J+EozlHKNA f1KRF6KwG6cn4JQiBA1cooJDobhV5BeDoMx5d153MrO6uRC5qpLdCeEEwa7KcKzGfs4g nsULSLbgzX0o57fLJL0WEovIyG8EBz/izicskdfPOnp+eTNwAYd6lVZkqPiV0U9eQNT8 +CgTLhZwFf1p5DIbOYRbXqX/M6DoKR1DV8LD7UGPcSVdfeCda7Yz/D8L4XxcNOPVXwo7 K4H4sC0Fe55Bcsh0ESSIZ0k6K7qW3svklrAeEP8jBsyUIzX1ITXMdOr3Bul9G0wWYQsb GFng== X-Gm-Message-State: AOAM530L8CfzPXlaQE1JZu2KB5eAsSMD4LGTFh4DXPtHpnuQtZbtuB7E zSZxUU+r3AKW+aZFkQp2t+PlrA4uhnw= X-Google-Smtp-Source: ABdhPJz6EPz5FqC7taWuwLlUzMP8kRABoixlT3O2gw8eEa9YR9ZRD/LtXaL9mcG6nPZ8JIb36Ip4vA== X-Received: by 2002:a92:c507:: with SMTP id r7mr2707618ilg.52.1602854399761; Fri, 16 Oct 2020 06:19:59 -0700 (PDT) Received: from hurd (dsl-236-123-185.b2b2c.ca. [207.236.123.185]) by smtp.gmail.com with ESMTPSA id b24sm2540556ilb.54.2020.10.16.06.19.59 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 16 Oct 2020 06:19:59 -0700 (PDT) From: Maxim Cournoyer To: Ludovic =?utf-8?Q?Court=C3=A8s?= Subject: Re: Using #true and #false everywhere? References: <875z7a78ww.fsf@gnu.org> Date: Fri, 16 Oct 2020 09:19:58 -0400 In-Reply-To: <875z7a78ww.fsf@gnu.org> ("Ludovic =?utf-8?Q?Court=C3=A8s=22'?= =?utf-8?Q?s?= message of "Fri, 16 Oct 2020 12:38:23 +0200") Message-ID: <87a6wm5mv5.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=2607:f8b0:4864:20::141; envelope-from=maxim.cournoyer@gmail.com; helo=mail-il1-x141.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=pass header.d=gmail.com header.s=20161025 header.b=PRQnM5HL; dmarc=pass (policy=none) header.from=gmail.com; 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: 0.79 X-TUID: 7AVuNxR/12f8 Hello Ludovic, Ludovic Court=C3=A8s writes: > Hello Guix! > > As discussed on IRC recently, several of us think that using =E2=80=9C#tr= ue=E2=80=9D and > =E2=80=9C#false=E2=80=9D instead of =E2=80=9C#t=E2=80=9D and =E2=80=9C#f= =E2=80=9D throughout or documentation and code > would probably make it easier for newcomers to decipher that. > > WDYT? > > This syntax is supported since Guile 2.0. =E2=80=98write=E2=80=99 still = uses the > abbreviations, but the good thing is that it means we can change all of > gnu/packages without triggering a single rebuild. > > As for the manual, I=E2=80=99m afraid it=E2=80=99ll make every msgid that= contains > @code{#t} stale. So maybe now=E2=80=99s not a good time to make this cha= nge? > > Thoughts? What's the current status of #true/#false in the current Scheme revision? It doesn't seem to have been standardized yet, no? I'd only agree to such a change if it's already been standardized in the RnRS as such; #f and #t have a long history and I don't think they are cognitively much harder to grasp than #false and #true, so the gain seems small compared to the downsides (hurting git blame's effectiveness across the code base, having to re-teach all contributors to use #true and #false everywhere, augmenting the lint tools, etc.). Maxim