Monad不可组合？为何Control.Bind中fish算子示例可编译？

这问题太戳中我当初学monad组合子的痛点了——第一次看到这种代码我也拍桌子：“这怎么可能？！” 核心原因是类型检查器的多态实例化能力，它会自动调整head和tail的类型，让它们适配fish算子（>=>）的Kleisli箭头规则。

先明确核心定义 #

首先回忆fish算子的类型（以Haskell/PureScript为例）：

(>=>) :: Monad m => (a -> m b) -> (b -> m c) -> (a -> m c)

它的作用是串联两个“返回monad值”的函数：

1. 第一个函数接受a，返回m b（包裹在monad里的b）
2. 第二个函数接受b，返回m c
3. 组合后得到一个接受a、返回m c的函数

拆解head和tail的类型适配 #

我们以Haskell的标准库函数为例：

• head的原始类型：forall t. [t] -> t（取数组的第一个元素）
• tail的原始类型：forall t. [t] -> [t]（取数组除第一个元素外的剩余部分）

看起来head返回的是单个元素，tail接受的是数组，完全不匹配？但类型检查器会做两件关键的事：

1. 实例化head的多态类型：把t替换成[c]，这样head的类型变成[[c]] -> [c]。此时head的输出[c]正好是数组monad（m = []）的实例m b（这里b = c）。
2. 实例化tail的多态类型：把t替换成c，这样tail的类型变成[c] -> [c]，正好匹配b -> m c（这里b = [c]，m c = [c]）。

组合后的完整逻辑 #

当你调用head >=> tail [[1,2,3],[4,5,6]]时：

1. 先执行head [[1,2,3],[4,5,6]]，得到[1,2,3]（也就是数组monad的m b）
2. 然后用数组monad的>>=操作，把[1,2,3]传给tail：[1,2,3] >>= tail
3. 这里因为head返回的[1,2,3]就是tail需要的输入类型，所以直接执行tail [1,2,3]，最终得到[2,3]。

为什么你会觉得“不可能”？ #

你默认head的输入是普通数组、输出是单个元素，但类型检查器通过多态推导，自动把head的输入变成了数组的数组，让它的输出刚好是tail需要的数组类型，同时满足了fish算子对“返回monad值”的要求。

这种多态类型的自动适配，正是纯函数式语言类型系统的强大之处——它会帮你找到满足所有约束的类型实例，而不需要你手动显式指定。

内容的提问来源于stack exchange，提问作者Regis Kuckaertz