purescript-monad-control 是一个基于 Monad Control 的库，提供了在 PureScript 中管理 monad transformer stack 中的基础模型的能力。
在下面的教程中，我们将介绍 purescript-monad-control 库的使用方法，帮助读者更好地理解和掌握该库。
安装
npm install purescript-monad-control
使用
创建 Monad Transformer Stack
首先，让我们来看一个如何创建 monad transformer stack 的例子。我们将使用 ExceptT 和 StateT：
-- -------------------- ---- -------
------ ---- -----
------ ------------------------- ------------
------ ------------------------- -------- ----
------ -------------------------- -------------
------ ------------------------- ------------
---- ----- - - ------ --- -------- ------ --- -
--- -- ----- --
--- - --
- -- ---
-- - - - ---- ---------- -- -- ------- ---- --
---- ------ --- -- - - --
---- -- ------ ----
---- - --
------ -- ---------- - ---------- --- -
---- ------ --
---- --- -- --- ---
----- - -- --- ---------上面的代码中，我们使用 StateT 和 ExceptT 来创建了一个 Stack 类型的 monad transformer stack。其中，StateT Int 表示 State monad 上加上整数类型，而 ExceptT String 表示 Except monad 上加上字符串类型。
在上面的示例代码中，我们定义了一个 foo 函数，它会根据 get 获取当前 state 的值并判断是否大于 5，如果大于，则会抛出异常；否则，它会通过 modify 修改 state 的值，然后返回 unit。我们最终通过 runExceptT 和 evalStateT 在 IO monad 中执行 foo 函数，并捕获可能产生的异常。
Monad Transformer Stack 的 Control 操作
接着，我们来看一下如何对 monad transformer stack 中的 monad 进行控制操作。在 purescript-monad-control 库中，主要有两类 Control 操作：control 和 liftWith。其中，control 操作接收一个函数 f :: (forall m. MonadControl m => m a) -> n b 并返回一个 n b。在这个函数中，我们可以依赖于 MonadControl 的抽象，进行一些 monad transformer stack 的控制操作。
control :: ∀ n b. (forall m. MonadControl m => m a) -> n b
liftWith 操作则使用 monad stack 中的一个控制器，它会接运行一个函数作为 m，并将一个标准的（常见的） monad stack 压缩到一个单个的 monad 控制器中，控制器本身可以用来重新嵌套栈。
liftWith :: ∀ n a b . MonadControl n => (∀ m. MonadControl m => m a -> n b) -> n a
让我们来看一个使用 control 的例子：
-- -------------------- ---- -------
------ ---- -----
------ ------------------------- ------------
------ ------------------------- -------- ----
------ -------------------------- -------------
------ ------------------------- ------------
------ --------------------- ------------------ --------
---- ----- - - ------ --- -------- ------ --- -
----- -- ----- - -- ----- - -- ----- -
----- - ---------
--- -- ----- --
--- - --
- -- ---
-- - - - ---- ----- -- -- ------- ---- --
---- ------ --- -- - - --
---- -- ------ ----
---- - ----- ----------- - ---------- --- -- -------
-----
------- -- ------- ------ -- - -- -- -
------- ------ - -------- ------------ -- ------- -- ---- ------ ----------
----- -- ------------ - -- - - -- ------- -- - - -- - -- -- - -
----- - ---------上面的代码中，我们定义了一个 catch 函数，它可以 “catch” 一个异常并返回一个备用状态 n（可以是一个完整的 monad transformer stack）。在 catch 函数中，我们使用了 control 函数，它接收一个函数 f，这个函数 f 的类型是 (forall m. MonadControl m => m a) -> n b。这个函数可以使用 MonadControl 抽象来控制 monad transformer stack。
Monad Transformer Stack 的嵌套控制
在上面的例子中，我们使用了 control 和 catch 函数来分别控制 monad transformer stack 中的 monad 和捕获异常。接下来，让我们来看一下如何使用 liftWith 函数来嵌套 monad transformer stack。
-- -------------------- ---- -------
------ ---- -----
------ ------------------------- ------------ -----------
------ -------------------------- -------------
------ ------------------------- ------------
------ --------------------- ------------------ -------- ---------
---- ----- - - ------ --- -------- ------ --- -
-------- -- ------------ - -- - ------ ---
-------- - -------- - --------- -- --
------ -- -------- - ---------- --- -
---- ------ --
----- - -- ---- --
---- --- -- ---------- ---
---- ----- ---
--- -- ----- --
--- - --
- -- ---
-- - - - ---- ----- -- -- ------- ---- --
---- ------ --- -- - - --
---- -- ------ ----
---- - ---------- - ---------- -------- --------- -- --- -----
---- --- -- --- ---
----- - -- --- ---------在上面的代码中，我们使用了 liftWith 函数，它接收一个函数 runStack，这个函数的类型为 (Stack a -> n b) -> n b，它会执行一个 monad transformer stack，并将栈中的控制器传给 runStack。在 getStack 函数中，我们通过 liftWith 来获取控制器，并执行一个 Stack monad，随后再将 Stack 状态重新嵌套回控制器中，以实现 monad transformer stack 的嵌套控制。
最后，在 main 函数中，我们通过 control 和 getStack 来控制 monad transformer stack 的嵌套，这个例子可以帮助我们更好地理解 purescript-monad-control 库提供的抽象和控制操作。
总结
在本文中，我们介绍了 purescript-monad-control 库的基本使用方法。我们从创建 monad transformer stack 开始，介绍了一些基本控制操作的使用方法，包括 control、liftWith 和 catch 等。同时，我们还介绍了 monad transformer stack 的嵌套控制方法，以更加深入地理解 purescript-monad-control 库的使用。希望读者通过本篇文章的介绍，能够更好地掌握和理解 purescript-monad-control 库的使用方法，并在实际的开发工作中得到更好的应用和发挥。
来源：JavaScript中文网 ，转载请注明来源 https://www.javascriptcn.com/post/60055ebd81e8991b448dc754