[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
branch master updated: website: posts: Fix typos in Dissecting Guix, Pa
From: |
Ludovic Courtès |
Subject: |
branch master updated: website: posts: Fix typos in Dissecting Guix, Part 2: The Store Monad. |
Date: |
Fri, 19 May 2023 11:30:02 -0400 |
This is an automated email from the git hooks/post-receive script.
civodul pushed a commit to branch master
in repository guix-artwork.
The following commit(s) were added to refs/heads/master by this push:
new 14c3079 website: posts: Fix typos in Dissecting Guix, Part 2: The
Store Monad.
14c3079 is described below
commit 14c3079247032a6455e7042b707f01a292c9e545
Author: Wolf <wolf@wolfsden.cz>
AuthorDate: Sun Apr 30 18:22:17 2023 +0200
website: posts: Fix typos in Dissecting Guix, Part 2: The Store Monad.
* website/posts/dissecting-guix-2-store-monad.md: Fix typos.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
---
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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- branch master updated: website: posts: Fix typos in Dissecting Guix, Part 2: The Store Monad.,
Ludovic Courtès <=