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 CJ/vGF6r3GNjWAEAbAwnHQ (envelope-from ) for ; Fri, 03 Feb 2023 07:36:14 +0100 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 ODPWGF6r3GNafAEAauVa8A (envelope-from ) for ; Fri, 03 Feb 2023 07:36:14 +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 AB8F72E83E for ; Fri, 3 Feb 2023 07:36:13 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pNpg4-0001BE-Lb; Fri, 03 Feb 2023 01:36:04 -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 1pNpg2-0001AY-Md for guix-patches@gnu.org; Fri, 03 Feb 2023 01:36:02 -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 1pNpg2-0007TL-C7 for guix-patches@gnu.org; Fri, 03 Feb 2023 01:36:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1pNpg1-0004WN-Uv for guix-patches@gnu.org; Fri, 03 Feb 2023 01:36:01 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#61214] run-with-state and run-with-store Resent-From: "(" Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 03 Feb 2023 06:36:01 +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" , <61214@debbugs.gnu.org> Received: via spool by 61214-submit@debbugs.gnu.org id=B61214.167540613117336 (code B ref 61214); Fri, 03 Feb 2023 06:36:01 +0000 Received: (at 61214) by debbugs.gnu.org; 3 Feb 2023 06:35:31 +0000 Received: from localhost ([127.0.0.1]:36356 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pNpfX-0004VY-0c for submit@debbugs.gnu.org; Fri, 03 Feb 2023 01:35:31 -0500 Received: from knopi.disroot.org ([178.21.23.139]:58286) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pNpfV-0004VL-FT for 61214@debbugs.gnu.org; Fri, 03 Feb 2023 01:35:30 -0500 Received: from localhost (localhost [127.0.0.1]) by disroot.org (Postfix) with ESMTP id 8EBDD41302; Fri, 3 Feb 2023 07:35:27 +0100 (CET) X-Virus-Scanned: SPAM Filter at disroot.org Received: from knopi.disroot.org ([127.0.0.1]) by localhost (disroot.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 3XK_nlS4eOuQ; Fri, 3 Feb 2023 07:35:26 +0100 (CET) Content-Type: multipart/signed; boundary=5b0889fd4b0853fbf520e065780abe13f3f409ed67b721a5f979577b24c7; micalg=pgp-sha512; protocol="application/pgp-signature" DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=disroot.org; s=mail; t=1675406126; bh=Rt7nr0vC0dCBj2ImQSttnu6dBUrNm0APA5a4bcoMJAA=; h=Date:Subject:From:To:References:In-Reply-To; b=mHWhFcB0hBHkcRsjkfaFKi2KUN2UZUjiNoYqKbMce4iH3KjDexB+P5iaoU1ikMxWF smsa/Jm2LExY5LNSZJmhnTyXdOODUzZtOF3g/N0bEV/+Tk8Tdq/iW+Nhy9kCarrZnf xO18Xn/0X/tWIY0+SV1ELJJaXzWBA+j734O7zUOsXS4sbVjv/AarvsJrc2g/OGgJ55 cqDEMnTYg6rqpSMzj9U0PK54DDjXdnmhZndY9xzM6IzcQdku/dJEZ4/y2e6C4mbaYs 9GsBxe00OBON1PDFPKnVdN7Mv2xoDlekGhaw66xGuOpSltgoCsRxg0S1PeT41bkFUX v923y0c54fUlA== Date: Fri, 03 Feb 2023 06:35:07 +0000 Message-Id: References: <20230201172821.3072-1-paren@disroot.org> <87a61vtsuw.fsf@163.com> In-Reply-To: <87a61vtsuw.fsf@163.com> 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: "\(" X-ACL-Warn: , "\( via Guix-patches" From: "\( via Guix-patches" 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=1675406174; a=rsa-sha256; cv=none; b=M8SxvBdV2MhJ43tF9rnshCR7PbJAeKWegumYtti0C53EeRsVVFc/1hLeTpSLLgofS2PcT3 ZpjVfyJqBVc11VZT/c0vh8yHL3H2lfhX4irGGZjYsKRCYZlGVgKQGIVPX5aBqUDmUmgRMP vdlxiahSyKmcV636R6RU/04IoMvNXpljCRqwnEsRsDQHUT6GTyMTPeFf4B01i3RGeWawqV FkkyC2XwYns6C8u/yePghJFybkAEOcEOJUB+vWEVfawYbKclhUtdOqbPnzoprjVKhPSVb0 O/UIaUIxEIICDjF+FY/TBXOUu7OL38hFAciFoWLd2cl0aIbnVpc11DVDjbCJeA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=disroot.org header.s=mail header.b=mHWhFcB0; 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=1675406174; h=from:from:sender:sender:reply-to:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc: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=8l6KR1BYZt067hyYBMdf8zbqENex4TRPwDRZo/Ynm08=; b=U/LzsFRKuVDFNWa3+vcvHwNJxFkGFf1of7QHdFqvhsSgvX3Nrr8jC9WvbS1du+NXfLm8Jz B86IODmx3GS6EeUs7FNUCHP7mjYQU8ZkM/dAF9yGU4D570htcYojxsT38WS3xyl3nl98AT Z9uDOe+FmT2iBdeRT0EsyjrLds9Hq2d7MDqQxHximT+kz9L1gksvKOaE5pZzJ/SD4Yz7EV hQlWSgTAwSH4ioH602y20kF0Z4NRdnfTPF4N+N+r0S5fn/pyZ9yi11CUMCkemhYd5303LU BH4WgOWSgl3Vg1gTY0tKNeIs+azTJhQSIw6HzrW5cmwq8StyEUiVevyOYgBsUw== X-Migadu-Scanner: scn1.migadu.com X-Migadu-Spam-Score: -3.17 X-Spam-Score: -3.17 X-Migadu-Queue-Id: AB8F72E83E Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=disroot.org header.s=mail header.b=mHWhFcB0; 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: LyehPjjJKyRm --5b0889fd4b0853fbf520e065780abe13f3f409ed67b721a5f979577b24c7 Mime-Version: 1.0 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=UTF-8 Heya, On Fri Feb 3, 2023 at 1:55 AM GMT, Feng Shu wrote: > 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"? Oops :) It's supposed to mean something like: > Just like we use `run-with-state` to pass an initial state to a monadic > value that uses `%state-monad`, we use our old friend `run-with-store` > when the value uses the `%store-monad`. Since it's unclear at present, I'll change it in a moment. -- ( --5b0889fd4b0853fbf520e065780abe13f3f409ed67b721a5f979577b24c7 Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQGzBAABCgAdFiEE6Vh10NblKE5doNlW7ImHg/nqI20FAmPcqxwACgkQ7ImHg/nq I21+bwwAje7bfOgah+dx8y0SHZRz5W+KnOWcuczRDjAmFb6XiFiNbsthcYGc6tdJ v+VkZ1vXk0eCjyADn+/s/Sgy+MVqt+tmaZoYSDRi5ExJcRU9CPecdf05LQSveViH nDJw/2I5MgJ8fkCFtH0jwTLG4XdmCEslUfNyiwEIyuQpCR65p9W3f4kHKrJb6qVp 3c+4khCTcM9S/wtdQiE+P7LcbczQlWZ0HG0iSYXnhGrBY08Hh36mlf1gF0x1g0cT d8QNmPlUM1ka70NqggT6i7d9jHy3EkhFg97iJx1FkbfA2FyP55YSLnAWg25qpepf va5DIMW//PRkagEl2LnGTezgdDnzInXriDOHP2oUoWZZk7l2vyQ7WeETFRMaV/2r k7M9BeSHjnuMGEJnm/oRsWZj8mE4yWME2EKrgHev/RodVcfzdBIzIAKG11cZLIOW zAChRBdGpT6wJ+VztmrcBe8kuxZuDCDFyJb5Jic2j22EyqCnLSob9qcI1lywr1oZ XjmuPhLE =/Kq2 -----END PGP SIGNATURE----- --5b0889fd4b0853fbf520e065780abe13f3f409ed67b721a5f979577b24c7--