GNU bug report logs - #61214
[PATCH guix-artwork] website: posts: Add Dissecting Guix, Part 2: The Store Monad.

Previous Next

Full log

View this message in rfc822 format

From: "(" <paren <at> disroot.org>
To: "Feng Shu" <tumashu <at> 163.com>, <61214 <at> debbugs.gnu.org>
Subject: [bug#61214] run-with-state and run-with-store
Date: Fri, 03 Feb 2023 06:35:07 +0000

[Message part 1 (text/plain, inline)]

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.

    -- (

[signature.asc (application/pgp-signature, inline)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.