* [bug#63191] [PATCH] website: posts: Fix typos in Dissecting Guix, Part 2: The Store Monad.
@ 2023-04-30 16:22 Wolf
2023-05-19 15:29 ` bug#63191: " Ludovic Courtès
0 siblings, 1 reply; 2+ messages in thread
From: Wolf @ 2023-04-30 16:22 UTC (permalink / raw)
To: 63191; +Cc: Wolf
* website/posts/dissecting-guix-2-store-monad.md: Fix typos.
---
Missing `we'. I've also tweaked one code example, since the output in the
blogpost did not match the code. Probably just a typo.
website/posts/dissecting-guix-2-store-monad.md | 12 ++++++------
1 file changed, 6 insertions(+), 6 deletions(-)
diff --git a/website/posts/dissecting-guix-2-store-monad.md b/website/posts/dissecting-guix-2-store-monad.md
index cd48d3e..da512ee 100644
--- a/website/posts/dissecting-guix-2-store-monad.md
+++ b/website/posts/dissecting-guix-2-store-monad.md
@@ -169,8 +169,8 @@ First of all, we'll revert to our original definitions of `remove-a` and
(nothing)))
```
-What if tried introducing higher-order procedures (procedures that accept other
-procedures as arguments) into the equation? Because we're functional
+What if we tried introducing higher-order procedures (procedures that accept
+other procedures as arguments) into the equation? Because we're functional
programmers and we have an unhealthy obsession with that sort of thing.
```scheme
@@ -320,8 +320,8 @@ expressions to symbols, and are essentially equivalent to a chain of
;; This is equivalent...
(mlet* %maybe-monad ((str -> "abad") ;non-monadic binding uses the -> symbol
(str1 (remove-a str))
- (str2 (remove-b str)))
- (remove-a str))
+ (str2 (remove-b str1)))
+ (remove-a str2))
⇒ #<<maybe> is?: #t value: "d">
;; ...to this:
@@ -330,9 +330,9 @@ expressions to symbols, and are essentially equivalent to a chain of
(lambda (str)
(remove-a str))
(lambda (str1)
- (remove-b str))
+ (remove-b str1))
(lambda (str2)
- (remove-a str))))
+ (remove-a str2))))
```
Various abstractions over these two exist too, such as `mwhen` (a `when` plus an
--
2.39.2
^ permalink raw reply related [flat|nested] 2+ messages in thread
* bug#63191: [PATCH] website: posts: Fix typos in Dissecting Guix, Part 2: The Store Monad.
2023-04-30 16:22 [bug#63191] [PATCH] website: posts: Fix typos in Dissecting Guix, Part 2: The Store Monad Wolf
@ 2023-05-19 15:29 ` Ludovic Courtès
0 siblings, 0 replies; 2+ messages in thread
From: Ludovic Courtès @ 2023-05-19 15:29 UTC (permalink / raw)
To: Wolf; +Cc: 63191-done
Hi,
Wolf <wolf@wolfsden.cz> skribis:
> * website/posts/dissecting-guix-2-store-monad.md: Fix typos.
Applied, thank you!
Ludo’.
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2023-05-19 15:30 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-04-30 16:22 [bug#63191] [PATCH] website: posts: Fix typos in Dissecting Guix, Part 2: The Store Monad Wolf
2023-05-19 15:29 ` bug#63191: " Ludovic Courtès
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/guix.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).