From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id gDXUEcvudmLZBQAAbAwnHQ (envelope-from ) for ; Sun, 08 May 2022 00:12:27 +0200 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id uFGyEcvudmKV4wAAauVa8A (envelope-from ) for ; Sun, 08 May 2022 00:12:27 +0200 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 00DFBD49D for ; Sun, 8 May 2022 00:09:38 +0200 (CEST) Received: from localhost ([::1]:45762 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1nnScL-0008TX-Si for larch@yhetil.org; Sat, 07 May 2022 18:09:37 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:40932) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nnSc9-0008R9-Df for guix-devel@gnu.org; Sat, 07 May 2022 18:09:25 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:44442) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nnSc9-000165-4I; Sat, 07 May 2022 18:09:25 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:In-Reply-To:Date:References:Subject:To: From; bh=Kn+sxG+JU6SalIoDODm7cV9hd8xmXguphNKvxEdMkog=; b=pLjs2bqPn4JQfasG3Pcn mQQdR3vU6xDldXP3Kczcwo6DdQ9/SOOH2fvLGaolLuCJIolQSfVm5meqDeeh7PA3K2++EX4tZ9R5C Nt+Vh2BFkTnauj1JPYOUNhyZ+guj/4MRAMCY1qkXpId8CnVKqs+Cn3YvNq0NMOsY1WCbjx4183rH3 gC8ea1Cpb9Mo3MAD3cmvsld6xgPAeLoBuaMRuHbqiKkKMpyqc7ORhRPeeLvV+b4CX3ag/viwa0lL7 P5GAHd+/QGdNfn0+JWf6IXesbe0B9iN2lM21o92NbIY/sUMs49NrGx4/3HZesZfa3OftRf2MbEGaX 4+/8UY84Ax6Igg==; Received: from 91-160-117-201.subs.proxad.net ([91.160.117.201]:64052 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nnSc8-0001WL-KF; Sat, 07 May 2022 18:09:24 -0400 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: zimoun Cc: Guix Devel Subject: Re: [zimoun] Re: Viewing derivation output in the store References: <87r15gcjlu.fsf@gmail.com> <87czgwbc8g.fsf@gmail.com> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 19 =?utf-8?Q?Flor=C3=A9al?= 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: Sun, 08 May 2022 00:09:22 +0200 In-Reply-To: <87czgwbc8g.fsf@gmail.com> (zimoun's message of "Mon, 02 May 2022 09:54:55 +0200") Message-ID: <878rrd0zcd.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-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" X-Migadu-Flow: FLOW_IN X-Migadu-To: larch@yhetil.org X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1651961379; 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=Kn+sxG+JU6SalIoDODm7cV9hd8xmXguphNKvxEdMkog=; b=Yt+GvV5JShn+m2tLJtrlOiMqjTaXgtyBy+5vSNA4gCnQTQYOdcyHN4qpVFPSayziyV1RI6 eRlGmPvXy4XvEN5+t9V+gwPDa8Ef+UwlfrZjVN3GJet+LevzzgDpwUnE75Mw7+rWf3XXzP /Bq6i+XWYTsQYbl1a2lRApZp5Iaa7WsgKLJvKv/4P3zN1TDd6PeXUa8pOipBci0fXTFc8d xB2BJ8I0jYp3GSGcFpXSO72/esXzyCuy36kUAR16x64/v2EidIpp9ZRG7qUZgA+y/lqTXR IiAUwCD4kx/CVBlVu+a3yDmAmlPJT65FWIZ0km0a9qUnnS7oWMeRNtWv+PzcUQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1651961379; a=rsa-sha256; cv=none; b=A5gZ1ifKKDNdnOIx4oXpKvhWB3Mnb2I6ftO/o3foFgEHS+I3vY8K6sGwjIR2wHlk9GNHxG RxdvLZn5auU465WLnngzdKC+0v8GUkS8lxmHUx7VuMizVhKdPTB7/SlPcrR/acIRXpQEoC 5q93/ghMw8yjGuThatjsoMobEUDUs2b0tekfkWAcbasOkP1vN+kY6sY2Zj22N5boU92Nxk 8p5mbbjc3q3OSbQKokYcNaEgUFchv2JdYJPduolS3LF+QbL5OR74KAur5egRCyfcn631DJ qXMBO3I/xFe5kh+TLDHl596SutLfKOpnyBbDQh23Vke9XVggbuw2wAau6ZgiqQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=gnu.org header.s=fencepost-gnu-org header.b=pLjs2bqP; 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: -7.30 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=gnu.org header.s=fencepost-gnu-org header.b=pLjs2bqP; 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: 00DFBD49D X-Spam-Score: -7.30 X-Migadu-Scanner: scn0.migadu.com X-TUID: F+PeTHmxTlhs Hi, zimoun skribis: > First, monadic style is not popular among Lispers. Second, the current > monadic style is hard to grasp. Consequence, few people dive* in monadic > things. The monad interface predates the file-like stuff in (guix gexp). The =E2=80=9Cregular=E2=80=9D gexp/file-like interface today is sufficient = in a wide range of cases, such that it=E2=80=99s normally not necessary to use the mo= nadic interface unless you=E2=80=99re getting into internals or writing a new too= l. Which is not to say that the usability problem must be ignored, but rather that it should be put in perspective, in particular to better understand the needs of those who end up struggling with the monadic interface. Thoughts? Thanks, Ludo=E2=80=99.