<*>如何将fmap泛化为支持多参数？Haskell应用函子疑问

先梳理你的核心困惑：函子通过fmap实现纯函数到任意上下文f的映射，但仅支持单参数函数。为了适配多参数场景，最初的思路是为每个参数数量定义fmap0、fmap1、fmap2这类函数，但Applicative的pure和<*>是更优雅、通用的解决方案，两者的核心区别体现在两点：

1. 无需硬编码参数数量，支持任意多参数函数 #

fmapN系列需要为每一种参数个数单独定义函数：处理3参数函数就得写fmap3，4参数写fmap4，以此类推，完全不具备扩展性。

而<*>利用柯里化特性，所有多参数函数都能拆解为嵌套的单参数函数（比如a->b->c等价于a->(b->c)），因此可以通过多次组合<*>处理任意多参数的情况：

-- 用<*>实现fmap2的效果
pure (+) <*> Just 1 <*> Just 2  -- 返回Just 3，等价于fmap2 (+) (Just1)(Just2)

-- 处理3参数函数
pure (\a b c -> a + b * c) <*> Just 2 <*> Just 3 <*> Just 4  -- 返回Just 14

你不需要为3参数、4参数额外编写新函数，只要不断叠加<*>即可。

2. 支持带效应的函数的应用 #

这是<*>最核心的价值，也是fmapN完全做不到的：<*>的第一个参数是包裹在上下文f里的函数（f (a->b)），而非普通的纯函数。这意味着函数本身可以带有和上下文对应的效应。

举几个直观示例：

示例1: Maybe上下文 #

如果函数本身是Nothing（代表“不存在”的效应），整个应用的结果也会是Nothing：

Nothing <*> Just 2  -- 返回Nothing
Just (+1) <*> Nothing  -- 返回Nothing

fmap2只能接受纯函数，无法处理“函数可能不存在”的场景。

示例2: 列表上下文 #

列表里的每个函数会和列表里的每个值组合，生成所有可能的结果：

[(+1), (*2)] <*> [1, 2]  -- 返回[2, 3, 2, 4]

这相当于把函数的“选择效应”和值的“选择效应”组合起来，而fmap2做不到这种组合，因为它的第一个参数是单一的纯函数。

再看<*>的本质 #

<*>的类型签名f (a -> b) -> f a -> f b可以解读为：

把一个包裹在效应上下文里的函数，应用到一个包裹在同样效应上下文里的值上，最终得到一个包裹在该效应上下文里的结果。

而fmap的类型是(a->b) -> f a -> f b，是把纯函数应用到效应值上；<*>则是把效应里的函数应用到效应值上。pure的作用是把纯函数“提升”到效应上下文里，这也是为什么pure f <*> x等价于fmap f x（Applicative的基本定律之一）。

总结来说：

• fmapN是针对固定参数数的纯函数应用方案，扩展性差，无法处理带效应的函数。
• Applicative的pure+<*>是通用的组合式方案：既可以通过pure扩展纯函数的多参数应用，还能直接处理本身带有效应的函数，实现效应的组合。

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