From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id 2192BaN7w2GxHgAAgWs5BA (envelope-from ) for ; Wed, 22 Dec 2021 20:25:23 +0100 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id eBWLAKN7w2GQDAAAB5/wlQ (envelope-from ) for ; Wed, 22 Dec 2021 19:25:23 +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 A551D884C for ; Wed, 22 Dec 2021 20:25:22 +0100 (CET) Received: from localhost ([::1]:59398 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1n07El-0005lX-9C for larch@yhetil.org; Wed, 22 Dec 2021 14:25:19 -0500 Received: from eggs.gnu.org ([209.51.188.92]:52320) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1n07E2-0005j6-9j for guix-devel@gnu.org; Wed, 22 Dec 2021 14:24:35 -0500 Received: from [2a00:1450:4864:20::32d] (port=43575 helo=mail-wm1-x32d.google.com) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1n07E0-0003rJ-Jm for guix-devel@gnu.org; Wed, 22 Dec 2021 14:24:33 -0500 Received: by mail-wm1-x32d.google.com with SMTP id o19-20020a1c7513000000b0033a93202467so2063158wmc.2 for ; Wed, 22 Dec 2021 11:24:31 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version:content-transfer-encoding; bh=fF8I+ezYs61JF9+jiBGp+ViQFeNC++YYEY7oHyXKLU4=; b=YwE7Sd0tu3SnXx3kcw+/iR0d8vlZheMniaOw+NhcaZWqfUDYoIeFORRPQKeHYN2AH7 fHKviV4eqN52Ga0+Z8yPXo8fl8D+UBFmZaHgdszNpJoPP4pYG1cImQFOkhc+wcQYTS7/ 9dS/ihQoNnlgCvWbOT0Z40DzRsnBm+dSIG//1RggMF13PdT04OkjNweZD7LzS4c3xWxa cEsRas6HaOIe7Fd8NLFt8B6+wquTlo6X2caBlZeXuMN/oPZDkNUVy7QR/Rajc7v74SyN Gszw0Y41LP5DPlAGwRSsz3id3+/2Rlyt2RhBU7Ko0IfV0SlIg3r/izdZ0sPYFoF7GX7E su+w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:from:to:cc:subject:references:date:in-reply-to :message-id:user-agent:mime-version:content-transfer-encoding; bh=fF8I+ezYs61JF9+jiBGp+ViQFeNC++YYEY7oHyXKLU4=; b=ijcEX6qHtCw4Jx+Y1jAC0n7cp65BjHRMliY+IrZ1YqDgsadYj/h8RLBw5Zkw35XdPf bPXe2Tu5myv6sL3Ej0gxRvThWTBAKv/YCvJO+JsWm0j1UI5akurbF2EokSnYnxQCG69z y6J4hvBuXTMYRvsEaskKtDeYofJ+YiIihCTC+cXXt98ttU0kjqEAtGYIefKCOv8BhuYy +cnrPl1FTsuPBCVF5uhpsvk8QG454VODC2ReVfAXsv9vQc+aQuc+eNmKS+VpotkaBUmO hY9sqNM9DiGUJqzY7XfgjIiR0ZmvY41OIt4W6ikjtUywnKXyp8Nov9ZgT49y1AI5W/28 XqnQ== X-Gm-Message-State: AOAM531/OzAtoJ+7sAMKMs3nTN4WUnSiNsNLogvyORh4uAw4QigM8N2r Kd92+VI85ySODHn/WJTwN3HzcXRXNDc= X-Google-Smtp-Source: ABdhPJyt8sskGt9py/WYP2KMkZyCecpPBGzj42SKt/qbgj4OTaMREG4UlLT52sghQEAV0hMVQbRzoA== X-Received: by 2002:a05:600c:2902:: with SMTP id i2mr1899342wmd.97.1640201069537; Wed, 22 Dec 2021 11:24:29 -0800 (PST) Received: from guix-xps13 ([2001:818:daa9:6700:462d:384e:6de8:4a1c]) by smtp.gmail.com with ESMTPSA id l13sm3018763wrs.73.2021.12.22.11.24.28 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 22 Dec 2021 11:24:29 -0800 (PST) From: =?utf-8?Q?Andr=C3=A9_A=2E_Gomes?= To: zimoun Subject: Re: Convention for new =?utf-8?Q?=E2=80=9Cguix_style=E2=80=9C=3F?= References: <86bl18sscd.fsf@gmail.com> <86a6gsd91p.fsf@fsfe.org> <86y24cr60u.fsf@gmail.com> Date: Wed, 22 Dec 2021 19:24:26 +0000 In-Reply-To: <86y24cr60u.fsf@gmail.com> (zimoun's message of "Wed, 22 Dec 2021 16:52:33 +0100") Message-ID: <87tuf0phn9.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Host-Lookup-Failed: Reverse DNS lookup failed for 2a00:1450:4864:20::32d (failed) Received-SPF: pass client-ip=2a00:1450:4864:20::32d; envelope-from=andremegafone@gmail.com; helo=mail-wm1-x32d.google.com X-Spam_score_int: -12 X-Spam_score: -1.3 X-Spam_bar: - X-Spam_report: (-1.3 / 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, RDNS_NONE=0.793, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=no autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.29 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-Migadu-Flow: FLOW_IN X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1640201122; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=fF8I+ezYs61JF9+jiBGp+ViQFeNC++YYEY7oHyXKLU4=; b=Ygac+X3HeAq/ySN/ak925UQPbNmCd0Hy9ctNHtUPa6eC7iUqzZ4JczJy/eMsQeMnkvXvVc FgNsLKRYtMCKEB78NoivDBNo6XoznTuzTdstREmdziwE17aBXgfsnQywJpvBab2mziYDHg kOj0MOQ4uCzd1DVX+7Tk7vGl2ynlgV+b43PU1fF4qEcn6FbeaP8tEpS1opmn/QyMvUAQfc A5PvluEbfdLzIZofPDAwflKfcGsX4EXCg+KkyFlbbpMHqgNyk/EDg/rVp0hzOKW/6ntb/n GgpR0zNb68JjY9BtCO0oNn2kGj/XtsAgRMxvjdPw5gClMuHKl/XQHY+A20KoPQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1640201122; a=rsa-sha256; cv=none; b=saOek6ItDnOvbG0JsLVkwbC6a1e16GNlidmDIaTdKktaZzES84J6TyFYUk9kep52RVGVMy oqnvxix4zs1NVMTAmCz8JSGp10CvUJlPeq2KV1GLXmJm/VXFvRlVt0aiMB/t8qaHF927gE 3a4GmL5OkDhJSirDI4URjrAvRSd+S433jBWlcTtCZrq59D/ZWCn6+greBNL2Qwj1/50phO 1LctXv7TdOMMudUDA/v0MGPHnDmVwikNeCYK+jguL2d0rto+/+4OZk9GJAbUguHGMuVza7 AWfLKYFAE1pfNEOJeBNWrRwt2MFOaVxo+iqnyUzBKfkEeegKJ5/w8ZYuGbSdxQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20210112 header.b=YwE7Sd0t; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: -1.44 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20210112 header.b=YwE7Sd0t; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: A551D884C X-Spam-Score: -1.44 X-Migadu-Scanner: scn0.migadu.com X-TUID: Nu+iVbf3EpH/ zimoun writes: > And =E2=80=9Cguix style=E2=80=9D is a step toward fixing Danny=E2=80=99s = words: > > FWIW, I do find it strange that Lisp projects, despite using a > minimal-syntax language (mostly in order to conserve its regular > tree structure), do not usually automatically format source code > as they check in, but Go projects, using the prime example of an > irregular C-like language, DOES usually use code formatters > automatically when checking in. That is some strange reversal > of strengths that I wouldn't have expected. > > I agree and disagree. (Disagree). Lisps hardly ever need external formaters or linters since you basically write down an AST. The "linting" job is done by the editor itself (think C-M-q and electrical indentation in major modes). Yes, there is ambiguity in some cases, but the decision is (rightly) left to the programmer. I believe that it's precisely the lack of "structure" in other languages that motivates the need for such tooling. (Agree). If we turn to the concrete issue at hand, cosmetic and "diff" issues of Guix packages, then I agree that this would (ideally) be a task for a tool (guix lint). Because it's important to have consistency and we can agree on the standards. I'm arguing that in this case the ambiguity (mentioned above) vanishes, and so the style can be enforced. When I go shopping, I write the list down in same way you do, Zimoun :) --=20 Andr=C3=A9 A. Gomes "Free Thought, Free World"