haskell - 我的表演课去哪了

Question

我有以下定义

data AST
    = Number Integer
    | Identifier String
    | String String
    -- | Operation BinOp AST AST
    | Query String
    deriving (Show, Eq)

data Tuple = Tuple {cmd :: String, 
                    cid :: AST,
                    argumentList :: [AST],
                    queryList :: [AST]} deriving (Show, Eq)

当我尝试打印 cid 时出现错误

No instance for (Show (Tuple -> AST)) arising from a use of `print'

这让我感到惊讶，因为 AST 和 Tuple 都是 show 类的成员。如何使 cid、argumentList 和 queryList 可打印？

Answer 1

cid 只是一个函数，用于访问元组的“cid”字段。打印它是不可能的，就像打印fst一样。但是，这是正确的:

t :: Tuple
t = ...

main = print (cid t)