haskell - Haskell、ADTを文字列に変換する方法は?

Question

ここに私のADTがあります：

data Tree a = Val Integer
            |Tree a
            |Variable a

2 つの質問があります。

質問 1: Tree String型を使用していくつかの木を表現しますか?

質問 2: データ型Tree Stringの要素であるツリーを string に変換する関数を定義します: showTree::Tree String -> String

Answer 1

ツリーを文字列に変換する2番目の質問に関しては、関数を導出Showして使用するだけshowです:

data Tree a = Val Integer
            | Tree a
            | Variable a
    deriving (Eq, Ord, Show)

showTree :: (Show a) => Tree a -> String
showTree = show

あなたの最初の質問がよくわからないので、私の言うことが役に立てば幸いです。

「ツリー」データ型は実際にはツリーではないことを理解してください。これは、整数または型変数に一致する型によってインスタンス化できる単なる合計データ型ですa。2 番目のコンストラクター はTree、実際にはデータ型を再帰的にしていません。コンストラクター名と同じように、単なるVariableコンストラクター名です。おそらくサブツリーが必要だと思います（Treeコンストラクターではなくタイプとして使用することにより）-タイプを次のように定義しましょう：

data Tree a = Val Integer
            | Branch (Tree a) (Tree a)
            | Variable a

Branchこれで、左右のサブツリーを持つという名前のコンストラクターができました。変数が s であると想定されている場合、これを表すためにString使用できます。Tree String

myTree :: Tree String
myTree =
    let leftBranch = Variable "x"
        rightBranch = Branch (Val 3) (Variable "y")
    in Branch leftBranch rightBranch