Nhận tên trường của bản ghi Haskell dưới dạng danh sách các chuỗi?

Question

Nói rằng tôi có như sau:

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

sample = Rec 1 2.3 4.5 

Tôi hiểu Template Haskell & các reify chức năng có thể làm cho tôi tên trường của kỷ lục. Đó là:

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

Cũng có một tuyên bố rằng điều này có thể được thực hiện mà không cần Mẫu Haskell. Ai đó có thể cung cấp một ví dụ thực hiện cho điều này có thể được thực hiện?

Answer 1

Có thể thực hiện với phiên bản Dữ liệu (hầu hết các phiên bản GHC) hoặc Chung (7.2.x trở lên), mà GHC có thể lấy được cho bạn. Dưới đây là ví dụ về cách kết xuất các trường bản ghi với typeclass dữ liệu:

{-# 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