From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id 8PnqDLTg5mFdqgAAgWs5BA (envelope-from ) for ; Tue, 18 Jan 2022 16:45:56 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id qLy4BbTg5mHUbgAAG6o9tA (envelope-from ) for ; Tue, 18 Jan 2022 16:45:56 +0100 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 B1E6A8312 for ; Tue, 18 Jan 2022 16:45:55 +0100 (CET) Received: from localhost ([::1]:47932 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1n9qgE-0005Zm-Gm for larch@yhetil.org; Tue, 18 Jan 2022 10:45:54 -0500 Received: from eggs.gnu.org ([209.51.188.92]:41104) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1n9q7B-0001ft-9c for guix-devel@gnu.org; Tue, 18 Jan 2022 10:09:42 -0500 Received: from hera.aquilenet.fr ([185.233.100.1]:37696) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1n9q78-0006os-Vp for guix-devel@gnu.org; Tue, 18 Jan 2022 10:09:40 -0500 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id 6C5204F8; Tue, 18 Jan 2022 16:09:35 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id j9sjQG7uAOFP; Tue, 18 Jan 2022 16:09:34 +0100 (CET) Received: from ribbon (91-160-117-201.subs.proxad.net [91.160.117.201]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 6900B2B4; Tue, 18 Jan 2022 16:09:34 +0100 (CET) From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: Attila Lendvai Subject: Re: using an SRFI that is not available in Guile References: <6vmHCdZdAWsjqvLgmVNEZclQ-JbdRJLfGzLNphX3EbevcslD-_TkMuHA1MwIylOfbe3DkDXYCbx5WT_Q44sC1Qed5MsBUg2xxZKhUbChGGs=@lendvai.name> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 29 =?utf-8?Q?Niv=C3=B4se?= an 230 de la =?utf-8?Q?R?= =?utf-8?Q?=C3=A9volution?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Tue, 18 Jan 2022 16:09:33 +0100 In-Reply-To: <6vmHCdZdAWsjqvLgmVNEZclQ-JbdRJLfGzLNphX3EbevcslD-_TkMuHA1MwIylOfbe3DkDXYCbx5WT_Q44sC1Qed5MsBUg2xxZKhUbChGGs=@lendvai.name> (Attila Lendvai's message of "Wed, 12 Jan 2022 16:46:07 +0000") Message-ID: <87iluhf5ci.fsf@gnu.org> 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-Spamd-Bar: / X-Rspamd-Server: hera X-Rspamd-Queue-Id: 6C5204F8 X-Spamd-Result: default: False [-0.10 / 15.00]; ARC_NA(0.00)[]; TO_DN_ALL(0.00)[]; RCPT_COUNT_TWO(0.00)[2]; RCVD_VIA_SMTP_AUTH(0.00)[]; FROM_HAS_DN(0.00)[]; TO_MATCH_ENVRCPT_ALL(0.00)[]; MIME_GOOD(-0.10)[text/plain]; FROM_EQ_ENVFROM(0.00)[]; MIME_TRACE(0.00)[0:+]; RCVD_COUNT_TWO(0.00)[2]; RCVD_TLS_ALL(0.00)[]; MID_RHS_MATCH_FROM(0.00)[] Received-SPF: softfail client-ip=185.233.100.1; envelope-from=ludo@gnu.org; helo=hera.aquilenet.fr X-Spam_score_int: -11 X-Spam_score: -1.2 X-Spam_bar: - X-Spam_report: (-1.2 / 5.0 requ) BAYES_00=-1.9, SPF_HELO_PASS=-0.001, SPF_SOFTFAIL=0.665 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=1642520755; 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; bh=uf1LGq7pE5X+n0GN9Q0wnzHU6RmHmnQ9r91AMRsgGZ8=; b=CvwykuOdrW0WdXEqM1HZIfXkWmHVb/YWmDG84rYZ4CEMuiGYzf9ViszeO7ufwRrHqv+qYo +ffu/T/YLrBvsZ6oR9qYNms6lBzaPXTrGr4XvLXRmWkpr0jVy0mVNUORpA/Uo685GT5+iI ZKqGCtS+7JhuBr6X3CzNeDzKwi07DQ4Ei5fdalZv6fA+O/a+Ri7lmAlfwOAAILdyMtBCZJ f/WF/5YbN4QL60HZJ0oteKfAbOluaiCglS+VO3mTj9kJ4hVrsT/H0XiBVc9uj8jr+aLu85 2IU4P/MAwdtQ2htHvXL2tHZhjaghRKFBbGWC9Mr9cuKZuCbvrmHCHyaAYM4B5Q== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1642520755; a=rsa-sha256; cv=none; b=G4p8eY4fpcpPywK9ZiEPRR6LKmHMP/oz5xamVRGiL/J01DydicwBKTBeosesyjXOn17Bau XY4ssJOGldEvWdd0lVvQdzkUZFydJGfSxCZiat93SI1gQWIBLWQ5Bur7524Z7wa24FYfeD kRTr9NVVvkqlmEZrBhnxuxjMYlRZ/kH8a6KkEGATNvl+bm+DX42v7d8kOkGo59xLldbmLX FY7gmVRrv2PDz/QX4tS4k3o7o/jhWZ4NE1N6qI+a0Ytpob7hvdJwD1QJM9I7YLhD6m9R1N /mI+FpOtxgiwyQ6dDabSaejmhEt02aFJsb/Mi8VjqLsXYevkq13UCRBLJgwPHw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=none; dmarc=pass (policy=none) header.from=gnu.org; 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: -3.62 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=pass (policy=none) header.from=gnu.org; 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: B1E6A8312 X-Spam-Score: -3.62 X-Migadu-Scanner: scn1.migadu.com X-TUID: lYX8my3qWOnC Hi, Attila Lendvai skribis: > when working on the (gnu services configuration) module, i would like > to use srfi-189, which is not available in Guile > (https://srfi.schemers.org/srfi-189/srfi-189.html). In addition to what Maxime wrote, I=E2=80=99d like to comment on the less technical side of it. I think it=E2=80=99s important to keep the code consistent in terms of API usage. There are often many different ways to do the same thing in Guile and Scheme, but within Guix, settling on one (or two) ways for a given things is preferable: it makes it easier for us all to understand and maintain the code. There=E2=80=99s no widespread =E2=80=9CMaybe=E2=80=9D idiom in Scheme; or r= ather, people use TYPE | #f as a way to approximate =E2=80=9CMaybe=E2=80=9D. It=E2=80=99s no= t ideal, primarily because appropriate handling is not statically checked. Yet, that=E2=80=99s what we have and I=E2=80=99m not convinced adding SRFI-189 to the mix would bring enough of an improvement to justify it. Thoughts? Thanks, Ludo=E2=80=99.