Haskell非穷举模式与转换函数输出

Question

我有一个函数，它想列出所有数据类型。

fn [] = []
fn (dt@(DataType t d y [(f,r)]):dts) = ["T:" ++ t ++ " D: " ++ d ++ " R: " ++ show y ++ "Ra" ++ show (fnAvg dt)] ++ fn dts

其中t和d是字符串，y是int，f是字符串，r是int（但不确定f和r是否重要，将进一步解释）。

我得到了非穷举模式的错误，并假设这是因为当列表中只有一个元素时，我没有一个，所以我在其他模式之间添加了这个：

fn [dt@(DataType t d y [(f,r)])] = ["T:" ++ t ++ " D: " ++ d ++ " R: " ++ show y ++ "Ra" ++ show (fnAvg dt)]

它已编译，但当我调用该函数时，它再次告诉我“非穷举模式”。我正在努力思考我错过了什么模式，我应该在之后添加一个通配符模式来捕获所有内容吗？我不想找人把答案打出来，但是欢迎你给我提示或建议。

Answer 1

您已经介绍了one-etent-list案例：它匹配fn（dt@（DataType t d y[（f， r)]):[])，因为dts可以是任何东西，包括空列表。

实际上，这里没有理由使用显式递归：您基本上有

f [] = []
f (x:xs) = g x ++ f xs

将其与列表的monad实例进行比较：

instance Monad [] where
  return x = [x]
  [] >>= _ = []
  (x:xs) >>= g = g x ++ (xs >>= g)

所以你应该把你的函数写成

fn l = l >>= \dt@( DataType t d y [(f,r)] ) 
    -> ["T:" ++ t ++ " D: " ++ d ++ " R: " ++ show y ++ "Ra" ++ show (fnAvg dt)]

虽然这并不能解决您的问题，但它使正在发生的事情变得显而易见：显然，DataType t d y[（f， r）]不是该类型的唯一有效模式。正如MathematicalOrchid所指出的，[（f， r）]只匹配长度为1的列表，但是您还需要覆盖其他长度。

fn l = l >>= \dt -> case dt of
   DataType t d y [(f,r)]
    -> ["T:" ++ t ++ " D: " ++ d ++ " R: " ++ show y ++ "Ra" ++ show (fnAvg dt)]
   DataType t d y []
    -> ["Some other stuff"]
   DataType t d y [(f,r), ...]
    -> ["Yet other stuff"]

或者随便什么。

事实上，如果您只在此处返回[（“stuff”）]，那么您根本就没有真正使用一元绑定功能：您可以编写递归版本，而不必使用，只需使用：重构对象，事实上，您只需执行一个映射操作：

fn = map $ \dt -> case dt of
   DataType t d y [(f,r)]
    -> "T:" ++ t ++ " D: " ++ d ++ " R: " ++ show y ++ "Ra" ++ show (fnAvg dt)
   DataType t d y []
    -> "Some other stuff"
   DataType t d y [(f,r), ...]
    -> "Yet other stuff"

Answer 2

模式[（f，r）]仅在列表包含一个元素时匹配。如果它包含0、2或任何其他数字，则表示模式匹配失败。

在这个例子中代码应该做什么，我不能说。。。