如何产生无限二叉树？ [关闭]

Question

我被要求为以下二叉树实现一个函数：

data BinaryTree a = Nil | BNode a (BinaryTree a) (BinaryTree a) 

我需要实现的函数应该产生一个完整的、对称的、无限的、a 的二叉树，并且应该有签名：

infTree :: a -> BinaryTree a

我该如何实现它？

Answer 1

您可以创建一个循环引用，其中两个子节点都是父节点。

infTree :: a -> BinaryTree a
infTree x = tree
  where
    tree = BNode x tree tree

这与repeat函数的实现方式相同：

repeat :: a -> [a]
repeat x = xs where xs = x : xs