在Haskell中交织函数定义

Question

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

那样交错定义

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

等。这可能吗？还有一些更惯用的选择吗？

Answer 1

Haskell 2010 report, section 4.4.3.1 Function Bindings说

  

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

因此，您无法像示例中那样交错recA和recB。

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

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