From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.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 WHUMOhcmKGMnCAAAbAwnHQ (envelope-from ) for ; Mon, 19 Sep 2022 10:19:36 +0200 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id qMs5ORcmKGPwJgEAG6o9tA (envelope-from ) for ; Mon, 19 Sep 2022 10:19:35 +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 83B6726E0A for ; Mon, 19 Sep 2022 10:19:35 +0200 (CEST) Received: from localhost ([::1]:41698 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oaC04-0005dW-75 for larch@yhetil.org; Mon, 19 Sep 2022 04:19:33 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:51020) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oaBb2-00065B-05 for guix-devel@gnu.org; Mon, 19 Sep 2022 03:53:40 -0400 Received: from mail-wr1-x431.google.com ([2a00:1450:4864:20::431]:42574) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1oaBb0-0004me-99 for guix-devel@gnu.org; Mon, 19 Sep 2022 03:53:39 -0400 Received: by mail-wr1-x431.google.com with SMTP id n12so5827208wrx.9 for ; Mon, 19 Sep 2022 00:53:37 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:message-id:date:references:in-reply-to:subject:to:from :from:to:cc:subject:date; bh=bR9TsvNvzqme0HySzntB6EOygNf101zLZDMt5sc4KPY=; b=XmU8UlSadxWbA4S0Imb5EuRFK37mPafJMafZYEsBEApwHINNndvbuuwmOHeBDJLiKN Vc/J5G1kiLSIE34YSACoKtAYJOHnQBrgfKH762M0hmNsLie/5fO89hRR0enWLJ2qhpRc aR+lpLrzo1vrG/nw3IO6xg0Q6fdSvkYHy4SaTyw6DskbZStuJzD/fAk7jJlhMOSCAoa5 /vJmC7Yr8glng7vg+kFZWnmb962RNDAA9kiVy2V6H3nvlCukzkclKipVy7MDtRSonjSh pkdGVKjEO/fO8oby6Kc/OmDFxecwnOBc0uAvXKomp53HynazUBlbk+rqFGs4ZajupH6K rH6Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=mime-version:message-id:date:references:in-reply-to:subject:to:from :x-gm-message-state:from:to:cc:subject:date; bh=bR9TsvNvzqme0HySzntB6EOygNf101zLZDMt5sc4KPY=; b=hteE9c+Uam4uOEfbWeOo9CyFr69Nwuw6OcjAUDkGUz9IR3dlmb5MaBRpsPxLgpI7SS HS+ARtB9tz0K89wnde8IfWNXFpkZ7NvSI8b3Jr2aZrKqKfhQv191+o6otGHbJL3kTnVV GIesbr3TCL0+8IuoDqhLyHyNajz6tUnrvi+ao3oG52rJ32bSkJOSWGdE+NMlj4/oWMNg zps9F2L7j7XgQsYYqE/rSm9/5CJpdiHPfsD5hYt8aq+VgXqCtt5ixRJhBOgH0S8OU7sZ +K3xvgBLfz3zOr0p546fAxe/GVuLGBkJwEYQilD7GFc4jVErITw4AFCV/DYqGdq4xa29 Lbrg== X-Gm-Message-State: ACrzQf2aHwjrVk8Vg18lgoOhd8kw1ZnOcOX1AEEgjxHrtK43HPD5G7Sy jFecdvRKg9583hWRDYUWBD4nYnHrTZ8= X-Google-Smtp-Source: AMsMyM4PhTbQEKogpJ5u0dmMPcoq4O9ZCnGsn5BQwljesd9bFgXsDtcVeIMsY3e6gsXSWe24SqZxEA== X-Received: by 2002:adf:e9d2:0:b0:22a:e4e2:37f1 with SMTP id l18-20020adfe9d2000000b0022ae4e237f1mr7473263wrn.339.1663574016473; Mon, 19 Sep 2022 00:53:36 -0700 (PDT) Received: from lili ([2a01:e0a:59b:9120:65d2:2476:f637:db1e]) by smtp.gmail.com with ESMTPSA id m2-20020a5d6242000000b00228df23bd51sm13015250wrv.82.2022.09.19.00.53.35 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 19 Sep 2022 00:53:35 -0700 (PDT) From: zimoun To: jgart , Guix Devel Subject: Re: Store Functor and Store Applicative In-Reply-To: <20220918095158.GD24593@dismail.de> References: <20220918095158.GD24593@dismail.de> Date: Mon, 19 Sep 2022 09:50:07 +0200 Message-ID: <86illjerbk.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain Received-SPF: pass client-ip=2a00:1450:4864:20::431; envelope-from=zimon.toutoune@gmail.com; helo=mail-wr1-x431.google.com 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.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=1663575575; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=bR9TsvNvzqme0HySzntB6EOygNf101zLZDMt5sc4KPY=; b=FDLkQGvA/2xg82wolWs8ZyYeXezG6jD2EhiY8rW1m1JGYyfmpkMzZ3YF5xD9nY/36hrtbL ZZLZ0Zvzvzj2Sq1697+eOPdvPIO/zRZiOrxbrNKTYfabLanJMKhuLClC9oV8posHwdbRxZ eFuLbAqk2G6ILJ7au1k86cIlceWqrUY21zzQx+WxV2h1P9ptkS7VDFiDP39It7rMOL1At4 2uYqxd5R1y4x3vGtDEoY+HitJ+vN2t8NSq4twrOxgjlh9R+AOp+jHOlTSUHC4wRPncE/zF xzSLAOfIhmA6HWI2ynjPWJ7H7PfNPhDRFQTslwQOBrtHXoG2Um0i4qAX7708MA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1663575575; a=rsa-sha256; cv=none; b=oqK0n1rYmw2STuDbPQPlve4bfoHIBxDh5E2OmLH0DruCuO822yERByOJEzoxW3fwXlw8h6 EFY5YHYcPrAvw/euFHslNn9lZqHHvTe7M0Fn4vWy8ejf/q533jWHsK/okXPPT0XkznJsA3 2lorbBgJr2D1k3/c7/vD4xmMksvpzW3THHUop17vot1qKuLTdIomCOA28GlrBMAyjht1lP ENfhfV6hw0J7dXOg1897SsxsHsQ1P5ms+oXCaAN3mCBCb/PEURdhv1vwhB9I/OW/p3XMqL csGd9yDAcGuuvEBEidecXmwtvjLuFyM+vrHvv5sJ9xtrTkDkZTkk8/wzvzIlJw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20210112 header.b=XmU8UlSa; dmarc=pass (policy=none) header.from=gmail.com; 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.84 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20210112 header.b=XmU8UlSa; dmarc=pass (policy=none) header.from=gmail.com; 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: 83B6726E0A X-Spam-Score: -3.84 X-Migadu-Scanner: scn1.migadu.com X-TUID: wRTHgNa6Il73 Hi, On Sun, 18 Sep 2022 at 09:51, jgart wrote: > Why does Guix implement a monad but not a functor and an applicative? >From my understanding, because an appropriate and straightforward abstraction for the store is the State Monad. Maybe the implementator of the monadic stuff in Guix read right before this [1]. :-) 1: Cheers, simon