haskell中的同时递归关系

Question

是否有可能在haskell中建立一个同时递归关系系统？我正在尝试实现

a(n)=3a(n-1)+2b(n-1)

b(n) = a(n-1) + 2b(n-1)

输入：

 a n = 3 * a (n-1) + 2 * b (n-1)

输出：

<interactive>:103:25: error: Variable not in scope: b :: t -> a

所以，我不能在不定义b的情况下定义a，也不能在不定义b的情况下定义b。我不确定这样做是否可行？

附言:我在gchi工作

Answer 1

在Haskell中，定义的顺序并不重要。您可以在b之前定义a，或者在a之前定义b，在这两种情况下，它们都可以很好地相互引用：

a n = 3 * a (n-1) + 2 * b (n-1)
b n = a (n-1) + 2 * b (n-1)

如果您使用的是GHCi (请澄清这一点)，那么是的，它不会单独接受a的定义，因为它不知道b是什么。但是，您可以将这两个定义一起提供给GHCi，方法是将它们包含在:{ ... :}中，如下所示：

*Prelude> :{                             
*Prelude| a n = 3 * a (n-1) + 2 * b (n-1)
*Prelude| b n = a (n-1) + 2 * b (n-1)    
*Prelude| :}

最后，我必须注意到，这些定义将产生无限循环:没有a和b不递归调用自身的情况(即没有输入)。这意味着，一旦你给他们中的任何一个打电话，他们就会永远不停的呼叫对方。

要解决这个问题，您需要提供一个基本情况-一个输入或一组输入，其中函数不会调用自身，例如：

a 0 = 1
a n = 3 * a (n-1) + 2 * b (n-1)

b 0 = 1
b n = a (n-1) + 2 * b (n-1)

(我不知道我是否提供了正确的基本用例，因为我不知道您的原始问题是什么，因此不能说在您的上下文中什么是“正确的”；我提供的基本用例只是演示如何实现它的示例)