标签： haskell data-structures types graph
我想给Martin Erwing的归纳图实现一个机会。但是，我仍然是Haskell类型系统的新手，特别是在定义抽象数据类型时。我希望有人可以提供一个明确的，近乎平凡的例子，说明在Haskell中实现图形的这种方法。
此处为the documentation behind it和his paper
由于
答案 0 :(得分：0)
您可以在此处查看基于树的简单实现：http://hackage.haskell.org/packages/archive/fgl/5.4.2.4/doc/html/src/Data-Graph-Inductive-Tree.html#Gr