haskell - 获取 Haskell 记录的字段名称作为字符串列表？

Question

说我有以下内容:

data Rec = Rec {
    alpha :: Int,
    beta  :: Double,
    phi   :: Float 
} 

sample = Rec 1 2.3 4.5

我了解模板 Haskell 和 reify函数可以让我记录的字段名称。那是:

print $(f sample) --> ["alpha", "beta", "phi"]

还有一种说法是这可以在没有模板 Haskell 的情况下完成。有人可以为此提供一个示例实现吗？

Answer 1

它可以通过 GHC 可以为您派生的 Data(大多数 GHC 版本)或 Generic(7.2.x 及更高版本)实例来完成。以下是如何使用 Data 类型类转储记录字段的示例:

{-# LANGUAGE DeriveDataTypeable #-}

import Data.Data

data Rec = Rec {
    alpha :: Int,
    beta  :: Double,
    phi   :: Float 
}  deriving (Data, Typeable)

sample = Rec 1 2.3 4.5

main :: IO ()
main = print . constrFields . toConstr $ sample