如何获取Haskell数据类型构造函数的名称？

当然可以实现这个需求，下面提供两种常用方法：

方法一：手动模式匹配 #

这是最直接的方式，针对P ()的每个构造函数分支返回对应的字符串：

import qualified Data.Set as S

data family P a
data instance P () = C1 (S.Set Int) | C2

cstrStringName :: P () -> String
cstrStringName (C1 _) = "C1"
cstrStringName C2 = "C2"

-- 测试用例
x = C1 (S.fromList [])
y = C2
-- cstrStringName x 会返回 "C1"，cstrStringName y 返回 "C2"

这种方法简单直观，但如果后续给P ()新增构造函数，需要手动更新这个函数的分支。

方法二：借助GHC泛型自动推导 #

如果不想手动维护每个构造函数的分支，可以利用Haskell的泛型机制自动获取构造函数名称，步骤如下：

1. 导入必要模块并给P ()派生Generic实例：

import qualified Data.Set as S
import GHC.Generics
import Data.Generics.Product.Constructor (constructorName)

data family P a
data instance P () = C1 (S.Set Int) | C2 deriving (Generic, Show)

2. 直接使用现成的constructorName函数：

cstrStringName :: P () -> String
cstrStringName = constructorName

这种方式会自动适配P ()的构造函数变化，新增构造函数时不需要修改cstrStringName函数。

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