Haskell中如何为自定义数据类型实现fmap多态映射？

首先，咱们先搞清楚你遇到的「kind mismatch」错误核心原因：Haskell的Functor类型类要求实例是带一个类型参数的类型构造器（kind为* -> *），但你定义的StructureA是没有类型参数的具体类型（kind为*）——它内部的数组固定是[Int]，直接给它写Functor实例自然会报错。

下面分三种场景给你针对性的解决方案：

场景1：修改数据类型，适配Functor规范 #

如果可以调整原始数据类型的定义，把内部数组的元素类型改成多态参数，就能合规地实现Functor了：

第一步：重构数据类型 #

将StructureA和StructureB改成带类型参数的版本，让它们成为合法的Functor候选：

data StructureA a = StructureA [a] Bool Int
data StructureB a = StructureB [a] String

现在StructureA的kind是* -> *，完全满足Functor的要求。

第二步：实现Functor实例 #

Functor的fmap需要把函数应用到类型参数对应的部分（也就是内部数组的元素），同时保留数据结构的其他字段不变：

instance Functor StructureA where
  fmap f (StructureA arr flag num) = StructureA (fmap f arr) flag num

instance Functor StructureB where
  fmap f (StructureB arr str) = StructureB (fmap f arr) str

调用示例 #

现在你就能像预期那样使用fmap了，如果只需要提取映射后的数组，直接访问字段即可：

inst = StructureA [1,1,1] True 0
fmap (+1) inst -- 返回 StructureA [2,2,2] True 0
-- 提取数组：let StructureA mappedArr _ _ = fmap (+1) inst in mappedArr

instB = StructureB ["hello", "world"] "test"
fmap (++ "!") instB -- 返回 StructureB ["hello!", "world!"] "test"

场景2：不修改原始数据类型，写专用映射函数 #

如果不想改动已有的数据类型（比如内部数组的元素类型是固定的），可以直接为每个结构写针对性的映射函数：

-- 针对StructureA的映射函数
mapStructureA :: (Int -> Int) -> StructureA -> StructureA
mapStructureA f (StructureA arr flag num) = StructureA (fmap f arr) flag num

-- 针对StructureB的映射函数
mapStructureB :: (String -> String) -> StructureB -> StructureB
mapStructureB f (StructureB arr str) = StructureB (fmap f arr) str

调用示例 #

inst = StructureA [1,1,1] True 0
mapStructureA (+1) inst -- 返回 StructureA [2,2,2] True 0

场景3：用类型类实现通用多态抽象 #

如果想写一个能统一处理这类「包含可映射数组」结构的多态函数，可以自定义一个类型类来抽象这个行为：

class MappableArray c where
  type Element c :: *
  mapArray :: (Element c -> Element c) -> c -> c

-- 为StructureA实现实例
instance MappableArray StructureA where
  type Element StructureA = Int
  mapArray f (StructureA arr flag num) = StructureA (fmap f arr) flag num

-- 为StructureB实现实例
instance MappableArray StructureB where
  type Element StructureB = String
  mapArray f (StructureB arr str) = StructureB (fmap f arr) str

这样你就可以用同一个mapArray函数处理不同的结构：

mapArray (+1) inst -- StructureA [2,2,2] True 0
mapArray reverse (StructureB ["abc", "def"] "test") -- StructureB ["cba", "fed"] "test"

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