From patchwork Sun Apr 30 16:22:17 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: Tomas Volf X-Patchwork-Id: 49713 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 828DB27BBE9; Sun, 30 Apr 2023 17:23:25 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.9 required=5.0 tests=BAYES_00,DKIM_ADSP_ALL, DKIM_INVALID,DKIM_SIGNED,MAILING_LIST_MULTI,RCVD_IN_MSPIKE_H2, SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id C4A6F27BBE2 for ; Sun, 30 Apr 2023 17:23:23 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pt9pI-00084t-3H; Sun, 30 Apr 2023 12:23:04 -0400 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 1pt9pG-00084k-Lr for guix-patches@gnu.org; Sun, 30 Apr 2023 12:23:02 -0400 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 1pt9pG-0004pP-Cr for guix-patches@gnu.org; Sun, 30 Apr 2023 12:23:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1pt9pF-0006g7-RU for guix-patches@gnu.org; Sun, 30 Apr 2023 12:23:01 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#63191] [PATCH] website: posts: Fix typos in Dissecting Guix, Part 2: The Store Monad. Resent-From: Wolf Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 30 Apr 2023 16:23:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 63191 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 63191@debbugs.gnu.org Cc: Wolf X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.168287176125626 (code B ref -1); Sun, 30 Apr 2023 16:23:01 +0000 Received: (at submit) by debbugs.gnu.org; 30 Apr 2023 16:22:41 +0000 Received: from localhost ([127.0.0.1]:38294 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pt9ov-0006fG-Ai for submit@debbugs.gnu.org; Sun, 30 Apr 2023 12:22:41 -0400 Received: from lists.gnu.org ([209.51.188.17]:59226) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pt9os-0006f8-QU for submit@debbugs.gnu.org; Sun, 30 Apr 2023 12:22:39 -0400 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 1pt9os-00083h-HQ for guix-patches@gnu.org; Sun, 30 Apr 2023 12:22:38 -0400 Received: from wolfsden.cz ([37.205.8.62]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pt9op-0004lT-Pa for guix-patches@gnu.org; Sun, 30 Apr 2023 12:22:37 -0400 Received: by wolfsden.cz (Postfix, from userid 104) id 507DD241101; Sun, 30 Apr 2023 16:22:31 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=wolfsden.cz; s=mail; t=1682871751; bh=86WOl77AmO1GTvABeTFK0YzZZ2tyBS3IC7g3A5ypwZw=; h=From:To:Cc:Subject:Date; b=sNaAR6yO13f9ZiyYMahScuwnwukpMeCiJ76W+7qKbNrFFP7yPg2n58n78FnpOD9ni EMiD2BlF4oAPEO/hMXpyTN9SQR/4SSI+7AyURZvOr99YPbf+XUrOLfAmTtNLWyihVz Du7bKWxZcFnuwMlZ8dHv7z0qHh6pTALWMUsjF6gU81Dseu3c67bQeKChal4htSSRkv /FvR3foYS3tgFkE3TBbAO4Z310LYM9GrG1/m3lRUHEVQvez6Jx3DYQgAo4mYvss0TH CCRXRw1+AUl2h4n+DBOus4US2SmuQ3pkapgikPAo2ru2MZqZR2yLIvtNA+JKtnpynk sCjhnkEzsJwZ52Zs1ifG1Lt4J1UravgT16p5tpjH4zDF9WV5cNwiXJN/WzXBOs4EPN cHMPEo58MbJwntnFKR5JoQsj8V+DGVPq9rt5XaT6uld2u3+nRiMQpzspKBxlrHeCfw Lvu1rCuQ3PrNZHvGDxZAZWT6eNOIvQBqh5zgIBZZN0JVGMB2dumte3BgSaqCMTQpO7 S1iOoW1xkZCpNnUY1tzKGhmXEe5TRdEK47ftlh6pBCfRZ9ZuqZJbswDKFt8KBf5PuY Tjr9uHw6pi1Pd8O6MqaIQGjvCjIiPNfbsZP2DLFwqHz2Bk5gIvTg9A2NOoQkQEUMRC iLLZVV4kVpcgHSfmfq6FmqsE= Received: from localhost (unknown [128.0.188.242]) by wolfsden.cz (Postfix) with ESMTPSA id 94F7D2409B3; Sun, 30 Apr 2023 16:22:30 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=wolfsden.cz; s=mail; t=1682871750; bh=86WOl77AmO1GTvABeTFK0YzZZ2tyBS3IC7g3A5ypwZw=; h=From:To:Cc:Subject:Date; b=EIhik3/mE/1S7f51AKF7XE59RJZP7OLQWZufotbVWBn5I0pXFKUidLcBh9YOouwLS Agn9dZfUblkQ/97mETxsTrjAUnHODb02wui3XL5sSqjiVzLld6cfw57pTAwObe9vAz XDzp56zHoKJWKLamYsTS0Yw50YGj20Bha1RkA+1uD04UrH7xr69ptCVuhWLZaTI9Tz inDV8p/jaIClzEMrzjEZ6xBvhYgbofaVmcR8GE8/X8sWaZ1Hn6NUfjJsvZSKON+Idj lkBj0woLMzjSanjcyYWl5egyGPrObXanQjYWz+fIgX5ZzekqUlDNpuJ4Gn5ZP+tDiN g9WamhsarrZG3VXpXhNp/IWxovRunrFZINcxJsEh33v5rKGCk85EirfiVBYZdst/6I 7lN2Wj5JXpoTxBIGKfjnE+IRhhlEHtTpVbCxvcjoQElPZ51IpMecvOErjnqdFwSf9O Xy6HlCRk4bNWYEhCVpt9vKv0PVQX9hVwSuTZCDyzeWIWL1fpoldYy/o8/maZJ68LG6 cLFhqTkkB3dfc0wYZujvMRMb7sbZpITNke1ytj+iBHWIbdfW8rUeveJCvtA7sA8HfR dN9tw9h1No+u6AQWtQ+Ifpsa75BXJJkquwK6UL4DHxHA5YJZKVcU04VWuNmbePSL4A gdbsHLilcW0Th7Ipt+4mBUm4= Received: from localhost (localhost [local]) by localhost (OpenSMTPD) with ESMTPA id 91750527; Sun, 30 Apr 2023 16:22:29 +0000 (UTC) From: Wolf Date: Sun, 30 Apr 2023 18:22:17 +0200 Message-Id: <20230430162217.6088-1-wolf@wolfsden.cz> X-Mailer: git-send-email 2.39.2 MIME-Version: 1.0 Received-SPF: none client-ip=37.205.8.62; envelope-from=ws@wolfsnet.cz; helo=wolfsden.cz X-Spam_score_int: -17 X-Spam_score: -1.8 X-Spam_bar: - X-Spam_report: (-1.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, HEADER_FROM_DIFFERENT_DOMAINS=0.25, SPF_HELO_PASS=-0.001, SPF_NONE=0.001, T_SCC_BODY_TEXT_LINE=-0.01, UNPARSEABLE_RELAY=0.001 autolearn=no autolearn_force=no X-Spam_action: no action 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: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * 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)) ⇒ #< 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