探究ixmap、Array与Contravariant逆变函子的关联及实例实现疑问

直觉的来源与错位 #

• 你将Array j e视作“带索引范围约束的j -> e函数”的直觉完全准确，这也是你会将部分应用后的ixmap与contramap做对比的核心原因。
• 我们逐行代换签名对比，先消除方向上的误解：
  • 标准Contravariant类的核心签名为contramap :: (a -> b) -> f b -> f a，对于你定义的newtype Array' e i = Array' (Array i e)，代入后可得到特化的contramap逻辑：输入一个从a到b的函数、一个元素类型为e、索引类型为b的Array，最终输出元素类型为e、索引类型为a的Array。
  • 把这个特化逻辑和ixmap的全量签名比对：ixmap :: (Ix i, Ix j) => (i,i) -> (i -> j) -> Array j e -> Array i e，会发现变换方向是完全匹配的：ixmap中的i对应contramap里的a，j对应contramap里的b，从第二个参数开始的函数逻辑完全符合逆变映射的要求。

卡壳的根本原因 #

你没法直接用ixmap实现Contravariant实例，本质来自标准库Array的设计特性，和方向判断无关：

• 标准库的Array是有限定义域结构：它的索引范围不是整个i类型，而是创建数组时显式指定的闭区间(low, high)，这个范围是存储在数组值内部的元信息，不绑定在类型层面。
• ixmap要求显式传入目标数组的索引范围(i,i)，但按照Contravariant的签名约定，实现者根本没法从现有入参（从a到b的函数、已有的索引为b的Array）中推导出调用者需要的目标a类型的索引范围：
  • 举个实际场景：你有一个范围为(0,9)的Array Int Char，现在要通过一个Maybe Int -> Int的函数把它转成Array (Maybe Int) Char，但Maybe Int类型本身没有固定的合法范围——你可以选择(Nothing, Nothing)作为范围（仅1个元素），也可以选择(Nothing, Just 10)作为范围（共12个元素），这些都是符合Ix约束的合法选项，没有任何现成信息能帮你自动选定正确的范围。
• 我们之前看到的ixmap (1 :: Int, 1 :: Int)的特化签名之所以和contramap高度相似，本质是手动把目标数组的范围固定成了(1,1)——这种情况下剩下的函数逻辑确实是有效的逆变映射，但它只在固定目标范围的前提下成立，不是泛化的、可对接Contravariant类型类的实现。

和Op类型的核心差异 #

你提到和Op类型的contramap签名相似度更高，两者的核心区别也正体现在这里：

• Op a b本质上是反转参数位置的普通函数b -> a，它的定义域是整个b类型，没有额外的有限范围约束。因此实现contramap时根本不需要额外参数：contramap f (Op g) = Op (\x -> g (f x))，整个逻辑可以在不需要外部元信息的情况下完成。
• Array的有限范围属性，让它没法满足Contravariant类型类对“无额外参数即可完成结构变换”的要求。

范畴论视角的关联 #

从Hask范畴（以Haskell类型为对象、函数为态射的范畴）的角度梳理三者的关联：

• 无约束的全函数(->) r是一个双函子：在返回值位置是协变函子，在参数位置是逆变函子。
• Array类型本质上是从Ix范畴到Hask范畴的函子：Ix范畴的对象是所有带Ix实例的类型，以及该类型下所有可能的闭区间范围；态射是从一个范围(i,i)到另一个范围(j,j)、保持映射关系的函数。在这个范畴框架下，Array确实是对索引位置逆变的函子——但你必须把“范围”作为范畴对象的固有组成部分，才能满足逆变函子的定律要求。
• 这也是为什么没法直接在标准库Array上写出泛化的Contravariant实例：标准库的Array把范围存在值层面，而不是类型层面，相当于把Ix范畴的对象信息和Array本身的值混在了一起，没法在Contravariant的固定签名下自动携带范围信息。

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