为何此Functor实例定义错误？Haskell代码报错咨询

首先咱们拆解下你遇到的错误核心：

New.hs:17:18: error: • Expecting one fewer arguments to ‘[Pixel Int]’ Expected kind ‘* -> ’, but ‘[Pixel Int]’ has kind ‘’ • In the first argument of ‘Functor’, namely ‘[Pixel Int]’ In the instance declaration for ‘Functor [Pixel Int]’

这个报错的本质是：Functor类型类要求的是「类型构造器」（kind为* -> *），而[Pixel Int]是一个已经确定的具体类型（kind为*）。简单说，Functor需要的是那种还能接受一个类型参数的"模板"，比如[]（可以接受任意类型a变成[a]）或者Pixel（可以接受a变成Pixel a），而[Pixel Int]已经是完整的、没有参数的具体类型，没法作为Functor的实例。

正确的解决思路：先给Pixel定义Functor，再复用列表自带的Functor能力 #

你想要的是让Functor作用在Pixel的第一个元素上，同时遍历整个列表。其实Haskell的[]本身已经实现了Functor，我们只需要先给单个Pixel类型定义符合需求的Functor实例，两者的行为会自动组合起来。

第一步：给Pixel定义Functor实例

newtype Pixel a = Pixel (a,a,a) deriving (Show)

instance Functor Pixel where
  fmap f (Pixel (a,b,c)) = Pixel (f a, b, c)

这里我们给Pixel这个类型构造器定义了Functor实例：fmap会把传入的函数f应用到Pixel的第一个元素上，同时保留后两个元素不变，完全符合你的需求。

第二步：直接对[Pixel Int]使用fmap

因为列表[]本身的Functor行为就是遍历每个元素并应用函数，而我们已经给Pixel定义了Functor，所以只需要组合两者的能力就能实现你的目标。举个实际例子：

-- 定义一个给整数加10的函数
add10 :: Int -> Int
add10 x = x + 10

-- 创建一个Pixel列表
samplePixels :: [Pixel Int]
samplePixels = [Pixel (1,2,3), Pixel (4,5,6)]

-- 最终结果会是 [Pixel (11,2,3), Pixel (14,5,6)]
modifiedPixels = fmap (fmap add10) samplePixels

你也可以用fmap的中缀形式<$>让代码更简洁：

modifiedPixels = add10 <$> <$> samplePixels

对你疑问的解答 #

• 能不能直接对整个列表应用Functor？：列表本身已经是Functor了，但你不能给[Pixel Int]这种具体的列表类型重新定义Functor实例。你需要的是利用列表已有的遍历能力，加上Pixel的Functor实例，就能实现遍历列表同时修改每个Pixel的第一个元素。
• 是否需要先为单个Pixel定义Functor再遍历列表？：是的，这是Haskell中处理这类需求的标准方式。Functor的设计就是针对单个类型构造器的，多个类型构造器的Functor行为可以通过组合来实现，而非重新定义新实例。

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