如何遍历Haskell类型级列表并为每个类型调用指定类型类方法？

要遍历类型级列表MyTypes并收集每个类型的describe结果，你可以借助类型类递归搭建类型级与值级的桥梁，实现类似traverse的类型驱动遍历逻辑。具体步骤如下：

1. 添加必要语言扩展 #

除已有的DataKinds，还需启用两个扩展支持递归类型类实例和显式类型标注：

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE ScopedTypeVariables #-}

2. 定义处理类型列表的类型类 #

新增DescribeList类型类，专门负责将类型级列表转换为值级字符串列表：

import Data.Proxy (Proxy(..))

class DescribeList (xs :: [*]) where
  describeList :: Proxy xs -> [String]

3. 实现类型类实例 #

• 空类型列表实例：直接返回空值列表

instance DescribeList '[] where
  describeList _ = []

• 非空类型列表实例：递归处理头部元素并拼接尾部结果，要求每个元素都实现MyClass

instance (MyClass x, DescribeList xs) => DescribeList (x ': xs) where
  describeList _ = describe (Proxy :: Proxy x) : describeList (Proxy :: Proxy xs)

4. 调用测试 #

保留你原有的MyClass定义与实例，直接调用describeList即可得到预期结果：

-- 原MyClass定义及实例
class MyClass a where
  describe :: Proxy a -> String

instance MyClass String where
  describe _ = "a String is a String"

instance MyClass Int where
  describe _ = "an Int represents a number"

instance MyClass Char where
  describe _ = "a Char represents a single character"

type MyTypes = '[String, Int, Char]

-- 调用示例
result :: [String]
result = describeList (Proxy :: Proxy MyTypes)
-- result值为：["a String is a String", "an Int represents a number", "a Char represents a single character"]

原理说明 #

这个实现是类型驱动的递归：DescribeList的实例会根据类型列表的结构（空/非空）匹配，在值层面递归调用describe并收集结果，完成从类型级到值级的转换，效果等价于值级的map describe。

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