如何从构造函数转换为 Haskell 中的字符串？答案

【问题标题】：How to convert from a constructor to a string in Haskell?如何从构造函数转换为 Haskell 中的字符串？
【发布时间】：2019-11-18 10:06:24
【问题描述】：

我正在尝试以字符串格式输出一手牌，但我不能从牌的等级中删除“数字”一词，我更愿意在没有辅助函数的情况下执行此操作，因为它看起来真的很乱，在没有辅助功能的情况下执行此操作的任何建议。另外，当我使用display 函数时，我在Prelude 中使用putStr (display x)。这是到目前为止的代码：

displayCard :: Card -> String
displayCard c = show (rank c) ++ " of " ++ show (suit c) ++ "\n"

display :: Hand -> String
display Empty = "\n"
display (Add c h) = displayCard c
                    ++ display h

displayRank :: Rank -> String
displayRank (Numeric 2) = "2"
displayRank (Numeric 3) = "3"
displayRank (Numeric 4) = "4"
displayRank (Numeric 5) = "5"
displayRank (Numeric 6) = "6"
displayRank (Numeric 7) = "7"
displayRank (Numeric 8) = "8"
displayRank (Numeric 9) = "9"
displayRank (Numeric 10) = "10"
displayRank Jack = "Jack"
displayRank Queen = "Queen"
displayRank King = "King"
displayRank Ace = "Ace"

【问题讨论】：

rank 应该与displayRank 相同吗？
@mkriger1：我猜rank 是Card 类型的“getter”，但由于我们没有看到数据定义，我们无法确定。
displayRank (Numeric a) = show a。但建议为你的类型写一个Show 实例。

标签： string haskell constructor type-conversion show

【解决方案1】：

我宁愿在没有辅助函数的情况下这样做，因为它看起来真的很乱

假设您有以下类型，

data Card = Card { cardRank :: Rank, cardSuit :: Suit }
  deriving (Eq, Show)

data Rank = Numeric Int | Jack | Queen | King | Ace
  deriving (Eq, Show)

data Suit = Diamonds | Clubs | Hearts | Spades
  deriving (Eq, Show)

那么编写辅助函数就有意义了

displayRank :: Rank -> String
displayRank (Numeric n) = show n
displayRank otherRank = show otherRank

displaySuit :: Suit -> String
displaySuit = show

displayCard :: Card -> String
displayCard (Card rank suit) = ...

但您也可以将它们组合起来：

displayCard :: Card -> String
displayCard (Card (Numeric n) suit) = ...
displayCard (Card otherRank suit) = ...

拥有正确设计的辅助函数并不麻烦。恰恰相反。

【讨论】：

【解决方案2】：

您使用show (rank c) 完成的工作，

rank ::        Card -> Rank
show ::                Rank -> String

你可以通过displayRank (rank c)完成

rank ::        Card -> Rank
displayRank ::         Rank -> String

（说到类型）。

【讨论】：