Haskell中的交织函数定义

Question

我正在编写一对相互递归的模式匹配函数，并且我希望能够像

recA [pattern ...] = [.. something that might call recB with the next pattern ..]
recB [pattern ...] = ...
recA [other ...]   = ...
...b

等。这可能吗？ 还有其他惯用的选择吗？

Answer 1

Haskell 2010报告第4.4.3.1节“ 函数绑定”指出：

请注意，所有定义函数的子句必须是连续的，并且每个子句中的模式数必须相同。

因此，您不能像示例中那样对recA和recB进行交织。

没有理论上的原因（我可以看到），为什么编译器不能将各个子句组合在一起。 我怀疑引入此规则是为了防止人为错误和混乱。 举一个愚蠢的例子，以下是什么问题？

function1 [] = "a"
functionl (x:xs) = "b"
function1 (x:y:xs) = "c"