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

Previous Next

Full log

Message #29 received at 61214 <at> debbugs.gnu.org (full text, mbox):

From: 宋文武 <iyzsong <at> envs.net>
To: Feng Shu <tumashu <at> 163.com>
Cc: 61214 <at> debbugs.gnu.org
Subject: Re: bug#61214: [PATCH guix-artwork] website: posts: Add Dissecting
 Guix, Part 2: The Store Monad.
Date: Fri, 03 Feb 2023 13:31:28 +0800

Feng Shu <tumashu <at> 163.com> 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?

Previous Next

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