From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:303:e224::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms8.migadu.com with LMTPS id aIX9Dw9WYmU6EgEAauVa8A:P1 (envelope-from ) for ; Sat, 25 Nov 2023 21:16:15 +0100 Received: from aspmx1.migadu.com ([2001:41d0:303:e224::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id aIX9Dw9WYmU6EgEAauVa8A (envelope-from ) for ; Sat, 25 Nov 2023 21:16:15 +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 0B4B316F51 for ; Sat, 25 Nov 2023 21:16:15 +0100 (CET) Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=lendvai.name header.s=protonmail3 header.b=NqR8ICd0; dmarc=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" ARC-Seal: i=1; s=key1; d=yhetil.org; t=1700943375; a=rsa-sha256; cv=none; b=TnybNdBtjElAhWx4+QCDcltalOdAKLDgCZvXn6xKBiljA+4KAoPRrAu9AwcYMR2kE3Nhhu 5YtF4D3aC1HhN1uEwgLcGmvFxvr/+BGIR+8z3rNOH73xWAH2mN1CT+xQpfgJsQ74fvOr6Q LewKGX6zksevuUlTByFoQ5EJo9XzqfnRkVR0JtAYbrm0yXOpHPD5ywsr1g63SmbN/wgrqC 83A9KBCcfR5K6W0nqcYIeY84SPQ0n0WFRutpqEOefdV0/Addkfn5X0mY8pkVPJhzrssKIw UtIm1f9E4ooVZm2qA9jMQFn2rUfSJe+FSWnnD7ySXVWTkupOZi4Go8FUWZAtWw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=lendvai.name header.s=protonmail3 header.b=NqR8ICd0; dmarc=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" ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1700943375; 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=7WhzRWTrjKAZ/qidh42dZKsg/dPpZE1inXHpSAmCeSc=; b=KW4WI1JTTGkNH5ANnKIU34OLUvxXTr+KAz6pCn9Fsxn+eRpP9ZYjlMTpdHfhmN9dKi0Jj9 ToXEbt/NmGXdMYpvCNNUzyMy6UTaBs20Tq+J9WU6EHchZ/t+rEQihNkVWbN3jS1AB0aYI1 NhmPV0bi0xAbog1Nb2PAaw2KvDGExLzrhmkC492bYbnRJSzV5XdUup1xsiAXH0DSowL37w HCzOGYzNHE9wCYaqgG0A4KHSb0JYZ3h0HukPO5fphl9+0nI7VG4LmInrMgPsdMZrDO1Z3d AfTd52w44q8yAzEA9GnxSdwTc9iF3gQKZ0LyUnahtdU22YKOBzamas/0OzT87w== Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1r6z3v-00057V-4T; Sat, 25 Nov 2023 15:15:35 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1r6z3c-00051t-Ju for guix-devel@gnu.org; Sat, 25 Nov 2023 15:15:16 -0500 Received: from mail-40136.proton.ch ([185.70.40.136]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1r6z3Z-0007K6-9J for guix-devel@gnu.org; Sat, 25 Nov 2023 15:15:16 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=lendvai.name; s=protonmail3; t=1700943299; x=1701202499; bh=7WhzRWTrjKAZ/qidh42dZKsg/dPpZE1inXHpSAmCeSc=; h=Date:To:From:Cc:Subject:Message-ID:In-Reply-To:References: Feedback-ID:From:To:Cc:Date:Subject:Reply-To:Feedback-ID: Message-ID:BIMI-Selector; b=NqR8ICd0TNjpmo8y9YOpjT/lhrD8ZAFN3YtDOL6fDvYRNHw2p05Nd7I+baLqDHllX eYUEyz5bGjqFp1xjbTn4KquRLYLQ2FAnzVxnIh8vXK70XxM8KO7arR1IALasd3LPrQ dAV6Y36WE1PGQ5vHhW1z+Khq66iZ2KMB93OsGEtLXM8b+k7zhO69D7VUhCDVvs/Jzh dXp/6nou+s9up1T1Rnbhm1BU9+E0Tk3npCWGD83U8QVn2bQUdI5Ua3zs3eMjs4Lw9b 6PoraqmhvYn1+b4qG221DeVtmybCnVHm9M38H/rkcHYVVe5aJr69yI+P7EvDfD0y+a bYwqZFcLaCfjg== Date: Sat, 25 Nov 2023 20:14:54 +0000 To: Liliana Marie Prikler From: Attila Lendvai Cc: Edouard Klein , guix-devel@gnu.org, =?utf-8?Q?Ludovic_Court=C3=A8s?= , Josselin Poiret Subject: Re: Syntactic Diabetes (was Re: A friendlier API for operating-system declarations) Message-ID: In-Reply-To: <52c2337b277721108e5e7cdd6ea32e37e3c20628.camel@gmail.com> References: <87wn377rst.fsf@rdklein.fr> <877cm6reum.fsf@rdklein.fr> <52c2337b277721108e5e7cdd6ea32e37e3c20628.camel@gmail.com> Feedback-ID: 28384833:user:proton MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=185.70.40.136; envelope-from=attila@lendvai.name; helo=mail-40136.proton.ch 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, RCVD_IN_MSPIKE_H5=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=unavailable 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: , Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: guix-devel-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Migadu-Queue-Id: 0B4B316F51 X-Migadu-Scanner: mx12.migadu.com X-Migadu-Spam-Score: -2.97 X-Spam-Score: -2.97 X-TUID: 3OnWXmMovvd3 > (service+ OS SERVICE [CONF]) > (service- OS SERVICE) > (modify-service OS SERVICE UPDATE) what would the benefit of generating multiple macros for each service compa= red to the above functional API (with 3-4 elements altogether)? i could be missing something here, but it seems to be precious little to me= while it costs some extra complexity. if i were to add a syntactic abstraction for this, i'd generate a full DSL = in the form of a (modify-operating-system OS [fictional DSL to describe des= ired changes]). but i don't think the extra complexity justifies any macrology here. --=20 =E2=80=A2 attila lendvai =E2=80=A2 PGP: 963F 5D5F 45C7 DFCD 0A39 -- By the time a man realises that his father was right, he has a son who thin= ks he=E2=80=99s wrong.