haskell - 如何有多个一次性参数

Question

我知道像这样的函数很常见

f _ [] = Nothing
f a (x:xs) = ...

在 Haskell 中，_ 是一次性参数名称似乎是惯用的。

如果我有很多我不关心的怎么办？例如

g _ _ [] _     = Nothing
g a _ (x:xs) b = ...

是我想写的，但我不认为我可以在一个定义中有多个 _。

那么当我不关心很多的时候我该怎么办呢？

Answer 1

您绝对可以在同一个函数中使用多个下划线。由于它们未分配给任何值，因此它不会覆盖任何内容。

它也更易于阅读，因为您知道值是多少并不重要，您可以关注对结果有实际贡献的内容。此外，如果您在编译时启用所有警告，如果您不使用具有名称的参数，您实际上会收到错误消息:

g a b = b

将返回一个Warning: Defined but not used: 'a'