这种类似 monad 的函数式编程模式的名称是什么？

Question

我偶尔会在代码中遇到类似于 monad 的模式，但是 不能在 >>= 之间保持一致的类型。

这是我能想到的最简单的例子：（

首先是一些类型级布尔值

data TyT = TyT
data TyF = TyF

class TyOr a b c | a b -> c

instance TyOr TyF TyF TyF
-- rest similarly

：）

现在这是我们的“monad”类型构造函数：

data Marked p a = Marked a
    deriving (Show)

对于给定的p，标记的p 是一个 * -> * 其作用非常类似于 a 中的 m monad，但有所不同，正如接下来我们定义“bind”时所发生的那样：

(>>%) :: (TyOr p q r) => Marked p a -> (a -> Marked q b) -> Marked r b
(Marked x) >>% f = Marked y where Marked y = f x

这里的不同之处在于 >>% 的结果具有不同的类型 构造函数比参数。除此之外它基本上是一个单子。

我们可以这样使用它：（

a :: Marked TyF Int
a = Marked 5

f :: Int -> Marked TyT Int
f x = Marked (x + 1)

ghci> a >>% f
Marked 6

ghci> :t a >>% f
a >>% f :: Marked TyT Int

这是受到 outis 的观察的启发，Python 的“with”不能成为一个 monad 因为它改变了类型，但我已经以其他（更简单的）方式看到了它 也）。

Answer 1

嗯，它在某种意义上与 monad 密切相关，只是与 Monad 类型类不兼容。特别是，我们可以注意到以下相似之处：

• Monoid 具有关联操作，其标识定义在一致类型的值上：mappend :: a ->一个-> a 和 mempty :: a。

• Monad 具有关联操作，其身份在类型构造函数上定义，例如：join :: m (ma) -> m a 和 return :: a -> m a。

• 函数（实际上是类别中的箭头）具有关联操作和标识，但关联操作由类别的对象索引，这里表示“类型”：(.)::arr bc ->(.):: arr bc -> arr ab-> arr a c 和 id :: arr a a。

...那么 join 按类型索引的 monad 会是什么？嗯。

您可能会发现一些有趣的参考资料，探索相关概念：

• 无限邻域：超越Monads
• 通过 Lambda the Ultimate：参数化计算概念
• Comonad.Reader：参数化Haskell 中的 Monad
• Oleg：变量（类型）状态“Monad”，
• 通过 Lambda the Ultimate：Kleisli Arrows of Outrageous Fortune

---

post scriptum - 您在对该问题的评论中这样说：

你是对的。我实际上想将其修复为更像 monad，尽管我并没有真正“使用”monad。我会编辑它。尽管我对 Applicatives 或多或少有同样的问题。

实际上，将事情限制在Applicative变化中非常重要！ a -> 之间的区别Marked p b 和 Marked p (a -> b) 的区别是，在前者中，Marked p 结构体的属性可以依赖于一个参数；而在后者中，标记独立于函数的参数。独立性意味着两者可以分开处理，这大大简化了事情；请注意，a 类型的任何值都与 () 类型的函数同构 -> a，您可能可以以简单的方式将其转换为某种两层版本的 Arrow。

另一方面，涉及 Monad 意味着函数和标记上下文之间存在某种程度的交错，这使得事情变得复杂，原因类似于 在这个问题的答案中进行了讨论。