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 ms5.migadu.com with LMTPS id uGUCEm2c3GPFNwEAbAwnHQ (envelope-from ) for ; Fri, 03 Feb 2023 06:32:29 +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 OIshEW2c3GNr+QAAG6o9tA (envelope-from ) for ; Fri, 03 Feb 2023 06:32:29 +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 A1B06DDEF for ; Fri, 3 Feb 2023 06:32:28 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pNogI-0000hp-34; Fri, 03 Feb 2023 00:32:14 -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 1pNog6-0000gN-U2 for guix-patches@gnu.org; Fri, 03 Feb 2023 00:32:11 -0500 Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1pNog6-0002gU-EP for guix-patches@gnu.org; Fri, 03 Feb 2023 00:32:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1pNog6-0002Of-AR for guix-patches@gnu.org; Fri, 03 Feb 2023 00:32:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#61214] [PATCH guix-artwork] website: posts: Add Dissecting Guix, Part 2: The Store Monad. Resent-From: =?UTF-8?Q?=E5=AE=8B=E6=96=87=E6=AD=A6?= Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 03 Feb 2023 05:32:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 61214 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Feng Shu Cc: 61214@debbugs.gnu.org Received: via spool by 61214-submit@debbugs.gnu.org id=B61214.16754022839141 (code B ref 61214); Fri, 03 Feb 2023 05:32:02 +0000 Received: (at 61214) by debbugs.gnu.org; 3 Feb 2023 05:31:23 +0000 Received: from localhost ([127.0.0.1]:36297 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pNofS-0002NL-E5 for submit@debbugs.gnu.org; Fri, 03 Feb 2023 00:31:22 -0500 Received: from mail.envs.net ([5.199.136.28]:39188) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pNofQ-0002N2-8H for 61214@debbugs.gnu.org; Fri, 03 Feb 2023 00:31:21 -0500 Received: from localhost (mail.envs.net [127.0.0.1]) by mail.envs.net (Postfix) with ESMTP id 5B35E38A01E9; Fri, 3 Feb 2023 05:31:18 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=envs.net; s=modoboa; t=1675402278; bh=zm3SyPWiwEzgHRlnZ5ZjqKoBDeSmYhZvd2nenacFv8w=; h=From:To:Cc:Subject:References:Date:In-Reply-To:From; b=lI/VJqFrY3J7/uB2MTSC3pc8HmLIR7plX9lHpnL9lV5chCJcGh7HNgvuvKItBIww/ 5O3+MRRzKrLkSNJHIW7NSpSFVTHbhTVAZzbUdW+fQCqy284/Gox2A6iy+RdZPtp23q wwP5Of1F4QmDEO4dCwxrrwv9g3o5JxPa3VMcVPJs+X4xEkxQ4LT+2aDSoogcsblazk NbiqcfplUtBtZ9k/cVTU6qakV1NIIC/2ZTYsnDxcTyY1RVQQC/dhp4ugjgxQEZFlJE GU9EE/2F6a5u6fduwiGS02QHOTBNMNSlSE759vUpHnzRFdcIGdzf6ysMph8q/5K5FY OjHIl9GXA0JReFQw4u+hsNM6n4gIw9m9ugRonyBeEzTRTGne4E2NE6MQjvL3mKin1b tCUMqFhp7J+IWVBCUk4GKco27V04zRTltDw+knSZAfD+bikUe12UdMfnpTyxUuOhwL kHAtzLWWPsGgRe++4wgdmQyTaSMmJfS9cIoQYPCxfej27s1P/IXfZbm/rFRPuoWKF5 BZG24946liTPlqetfS3grz1LpFgTxbhlWmQ02Acd1tb76ze9PljsrgJdlJs1qp7bGU u4ny6PLBcwL04Rhqqc486dKpmwyCiLKYBUF72lDrCHLuio951vbbBkIgNLCPVAyXBT W0s29OdOKW0iXV9x4rxJItn0= X-Virus-Scanned: Debian amavisd-new at mail.envs.net Received: from mail.envs.net ([127.0.0.1]) by localhost (mail.envs.net [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id E55mVxCe4Vdc; Fri, 3 Feb 2023 05:31:15 +0000 (UTC) Received: from localhost (unknown [182.150.116.135]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-256) server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by mail.envs.net (Postfix) with ESMTPSA; Fri, 3 Feb 2023 05:31:14 +0000 (UTC) Received: from localhost (localhost [local]) by localhost (OpenSMTPD) with ESMTPA id 49ed4355; Fri, 3 Feb 2023 05:31:28 +0000 (UTC) References: <20230201172821.3072-1-paren@disroot.org> <87a61vtsuw.fsf@163.com> Date: Fri, 03 Feb 2023 13:31:28 +0800 In-Reply-To: <87a61vtsuw.fsf@163.com> (Feng Shu's message of "Fri, 03 Feb 2023 09:55:51 +0800") Message-ID: <87wn4zmi1b.fsf_-_@envs.net> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-to: =?UTF-8?Q?=E5=AE=8B=E6=96=87=E6=AD=A6?= X-ACL-Warn: , =?utf-8?b?5a6L5paH5q2mIHZpYSBHdWl4LXBhdGNoZXM=?= From: =?utf-8?b?5a6L5paH5q2mIHZpYSBHdWl4LXBhdGNoZXM=?= via Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: guix-patches-bounces+larch=yhetil.org@gnu.org X-Migadu-Country: US X-Migadu-Flow: FLOW_IN ARC-Seal: i=1; s=key1; d=yhetil.org; t=1675402349; a=rsa-sha256; cv=none; b=pqFD/kCrdqZL6+lIhHFLbDdqoWyaKt4WYLHuvse7Zyn0LNYR76V6o/WSXfe32+Be2X6C0b BAXPtr6fuGzIzV6DpcGZM3NmFWOlkADUZOgCPh8OQe1K1ITJSzkk4RodUcLHH7ktSiB5RG 3q85ssefrKqazFilZFGVK09a9ElJESdfMCqkCwEkAwVVRb+5CGhkHjSoQiuKvf1/khQ/hn HBNYEywnw3UZgETS+fW4WqqRcEnxJiMb3L0P58UZBvtOjeU5omQXZ6eOUsHwbvvYCnew7h XfGo0lLFTH8jJxANsFZt+ZwEwyw2mBxT7CeIkflEaakNlEfqzgshQTZls5Cwpw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=envs.net header.s=modoboa header.b="lI/VJqFr"; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=gnu.org ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1675402349; h=from:from:sender:sender:reply-to:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:resent-cc:resent-from:resent-sender: resent-message-id:in-reply-to:in-reply-to:references:references: list-id:list-help:list-unsubscribe:list-subscribe:list-post: dkim-signature; bh=zm3SyPWiwEzgHRlnZ5ZjqKoBDeSmYhZvd2nenacFv8w=; b=c3ySiavzR2uW0v//oGdzTGteL/IhQxFSmszrRfB8UvhhZfGfZloO2fO62VyMaPv6bE/9r8 JzHAt439uyL/tASdMUwU5xXxXfA/wdESz1jeQPInDOULn4+g2B0BqNFAzrvJajDBW6DhMG uWcvKEPnrCESg0op7xN6BKayxT4uNEwSLGmMLaLtK1EWtO4b5xgU/oaYg+Wi5j2UegRVWk ZX5dcYvW0070r6Y9bc41scku++SwjvVITigNpRs81BkkEaiJeT1MmUF3fT6V8ujp4c6fcQ bLJ6SFiyNQIKRpUQtJxoRbzJYtET2+v/o/hMBW1rrahkBoWwTPeZaIQl511rSA== X-Migadu-Scanner: scn1.migadu.com X-Migadu-Spam-Score: -2.07 X-Spam-Score: -2.07 X-Migadu-Queue-Id: A1B06DDEF Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=envs.net header.s=modoboa header.b="lI/VJqFr"; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=gnu.org X-TUID: A/ykAaGbwO3e Feng Shu writes: >> And to pass this initial state, we used `run-with-state`. The equivalent for working with >> the store is our old friend `run-with-store`! > > For my poor English, I do not understand this well, does this mean > "run-with-store will call run-with-state, we just use run-with-store > generally." or "run-with-store is similer with run-with-state, they can > replace each other"? Well, "The equivalent for working with the store ..." should read as "And to pass this initial store, we should use `run-with-store`". > We can see that this `gexp->derivation` returns a procedure taking the > initial state (store), just like our `%state-monad` procedures did. > And to pass this initial state, we used `run-with-state`. Maybe "And to pass the initial state for `%state-monad`, we used `run-with-state`. So to pass the initial for `%store-monad`, we will use `run-with-store`!" is better?