Haskell中数据类型的设计

Question

你有什么建议：

data Direction = Left | Right
type Direction = Bool
newtype Direction = Direction Bool

然后我正在制作：

data Move = WalkRight Bool | Jump

要么

data Move = Walk Direction | Jump

取决于之前的答案。 我有Char -> Maybe Move类型的功能Char -> Maybe Move ：

charToAction 'q' = Just $ WalkRight False
charToAction 'd' = Just $ WalkRight True
charToAction 'z' = Just Jump
charToAction _ = Nothing

我应该改变我的类型Move到：

data Move = Stationary | WalkRight Bool | Jump

？ 该功能将成为：

charToAction 'q' = WalkRight False
charToAction 'd' = WalkRight True
charToAction 'z' = Jump
charToAction _ = Stationary

我不知道这是因为列表不需要一个Maybe：

data [a] = [] | a : [a]

或者有没有办法推导出Maybe让它更干净？

Answer 1

我更喜欢这样的东西：

data Direction = Left | Right
data Move = Walk Direction | Jump
type Action = Maybe Move
type ActionList = [Action]

charToAction :: Char -> Action
charToAction c = case c of
  'q' -> Just $ Walk Left
  'd' -> Just $ Walk Right
  'z' -> Just $ Jump
  _   -> Nothing

stringToActions :: String -> ActionList
stringToActions = map charToAction

根据每种数据类型清楚地解释其自身目的的原则，并且不“假设”任何关于如何使用它的内容。 一些反例：

newtype Direction = Direction Bool
data Move = Stationary | Walk Direction | Jump

这里， Direction并没有真正解释它意味着什么...它是否意味着你有一个方向或者你没有方向？ 嗯！ 另外，当你需要Up和Down时会发生什么？ 如果Direction只是一个Bool那么很难扩展你的程序。

而Move在这里有一个数据构造函数Stationary ，实际上根本不是一个移动。 你“泄漏”一些按键不会导致移动的概念。 再次，这将最终使您的代码复杂化。

说得通？