OCaml：绘制二叉树

Question

我正在研究一些使用树木的程序。 我想知道是否有任何代码可以在OCaml中绘制一般树。

type Tree = Node of Tree * int * Tree | Child of int;;

我在互联网上找到的只使用Caml Light，而不是Objective Caml。
提前致谢。

Answer 1

你能用“画画”来澄清你的意思吗？ 我假设您正在考虑树的图形可视化？

我在使用工具graphviz使用的点格式生成图形/树形描述方面有相当不错的经验。 我们的想法是你的OCaml程序以这种格式生成图形的文本表示，然后使用外部工具渲染它（将其转换为图像），并可能在屏幕上显示它。

Dot适用于一般图形。 虽然您可能会发现具有更多功能的二叉树专用工具，但根据我的经验，它可以很好地适用于所有类型的树并显示通常您喜欢的内容。 现在该工具并非没有缺陷，在某些情况下我遇到了bug（称为dot segfaults）。 我仍然认为这是一个合理的选择。

如何以dot格式具体输出：选择已有图形的任何一个例子 ，结构将是非常明显的：它只是一种文本格式。 然后你编写运行在图形结构上的代码，用标签等正确的东西调用Printf ，然后瞧。 例如， 这个例子看起来很好， 这里是源格式。 我引用相关部分：

/* courtesy Ian Darwin and Geoff Collyer, Softquad Inc. */
digraph unix {
    size="6,6";
    node [color=lightblue2, style=filled];
    "5th Edition" -> "6th Edition";
    "5th Edition" -> "PWB 1.0";
    "6th Edition" -> "LSX";
    "6th Edition" -> "Interdata";
    "Interdata" -> "Unix/TS 3.0";
    "Interdata" -> "PWB 2.0";
    "Interdata" -> "7th Edition";
    "7th Edition" -> "8th Edition";
    "7th Edition" -> "32V";
    "7th Edition" -> "V7M";
    "V7M" -> "Ultrix-11";
    "8th Edition" -> "9th Edition";
    [...]
}

Answer 2

如果它简单而不是太深，使用Graphics库绘制树通常非常容易和有趣。

如果你想要一个文字表示：

type tree = Node of tree * int * tree | Child of int;;
let draw tree =
  let rec print indent tree =
    match tree with
       Child n -> 
        Printf.printf "%s%d\n" indent n
     | Node (left, n, right) ->
        Printf.printf "%s----\n" indent;
        print (indent ^ "| ") left;
        Printf.printf "%s%d\n" indent n;
        print (indent ^ "| ") right;
        Printf.printf "%s----\n" indent
  in
  print "" tree