Haskell中instance Functor ((->) r)定义的意义探讨

问题背景 #

我承认我的问题可能源于知识储备不足且表述较为模糊，但我仍试图理解相关内容，存在一些无法解决的疑惑。GHC.Base中存在如下定义，我想了解其意义：

instance Functor ((->) r) where
    fmap = (.)

疑问点 #

1. 编程语言视角：(->)是Haskell中极为基础的构造，却被定义为Functor的实例这种衍生构造，这有何意义？(->)本身的意义并不依赖Functor，反而是Functor的定义需依托(->)在Haskell底层的合理实现。
2. λ演算视角：
   • 2.1 若按“常识”将(->) r视为包裹r的容器（称其为Any_f），那么fmap应如何工作？fmap应修改容器内的值而不改变容器结构，按此逻辑应为：fmap f (Any_f x) <=> Any_f (f x)（这是非类型化λ演算的表述）。
   • 2.2 但Haskell中Functor ((->) r)的定义里，fmap = (.)，换而言之：

     -- fmap f (Any_f x) = f (Any_f x) 
     -- fmap :: forall a, b, c => (b -> c) -> (a -> b) -> (a -> c)
     

     由此产生矛盾：
     • 常识要求：fmap f (Any_f_as_container x) = Any_f_as_container (f x)
     • 类型要求：fmap f (any_f_as_container x) = f (Any_f_as_container x)
       这是否意味着instance Functor ((->) r)的定义毫无意义？若并非如此，当它修改最外层函数（容器本身而非容器内的值）时，其意义何在？

解答 #

1. 为什么(->) r要成为Functor实例？ #

Haskell的Functor类型类本质是**“可映射的结构”，但这个“结构”不局限于传统的容器（比如List、Maybe）。(->) r代表的是“接受一个r类型参数并返回某个值的函数”，把它看作Functor，核心是为了统一对“计算结果”进行变换**的操作。

虽然(->)本身是底层构造，但Functor的抽象能让我们用统一的fmap接口处理所有可映射结构——不管是列表里的元素，还是函数返回的结果。比如，当你需要把一个函数的返回值做变换时，不用每次都写\x -> f (g x)，而是可以用fmap f g，这让代码更简洁，也符合Haskell“抽象复用”的设计思想。

另外，Functor是后续更复杂抽象（比如Applicative、Monad）的基础，让(->) r成为Functor实例，能让它无缝参与到这些抽象的组合中，比如用(<*>)组合多个函数的计算，或者用do语法处理函数式的流程。

2. 打破“容器”的固有认知：函数作为Functor的真正含义 #

你之前的矛盾来自对“容器”的狭义理解——Functor的fmap并不是只能“修改容器内的值”，而是要满足Functor定律：

• fmap id = id
• fmap (f . g) = fmap f . fmap g

对于(->) r来说，把它看作“容器”的话，这个容器装的不是某个具体的值，而是**“一个等待输入r才能产生值的计算”**。此时fmap f g的作用，是把g这个计算的结果，用f来变换——也就是先运行g得到结果，再把结果传给f，这正好就是函数组合(.)的行为：(f . g) x = f (g x)。

你之前的“常识矛盾”，本质是搞错了(->) r作为容器的“内容”：

• 传统容器（比如Maybe a）的“内容”是a类型的值，所以fmap f (Just x) = Just (f x)是修改内容。
• 而(->) r这个“容器”的“内容”是**“从r到a的映射关系”**，或者说“计算a的过程”，fmap f就是把这个过程的结果替换成f处理后的结果，也就是把r -> a变成r -> b（通过f :: a -> b），这完全符合Functor的“保持结构，变换内容”——这里的结构是“接受r参数的函数形态”，内容是“最终返回的值的计算逻辑”。

这个实例的意义在于，它让函数可以和其他Functor类型一样，参与到统一的映射操作中，同时也验证了Functor抽象的通用性：不管是存储值的容器，还是产生值的计算，只要能定义符合定律的fmap，就能成为Functor。

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