编辑纯函数图

Question

假设有一个图表和一些函数集，例如：

create-node :: Graph -> (Graph, Node)
split-node :: Graph -> Node -> (Graph, Node, Node)

我想创建这些函数的版本，这些函数不需要 Graph 作为参数，主要是为了方便（最好没有 monad，所以我不会'不需要将每个图形操作代码段包装在一个 monad 块中）。那么这个呢：

create-node :: (Graph -> (Graph, Node))
split-node :: (Graph -> Node) -> ((Graph -> Node), (Graph -> Node))

或者更一般地说：

fun :: (Graph -> Argument) -> ... -> (Graph -> Result)

然后我就可以使用 (Graph -> ...) 值，就像它们是普通节点一样。最后，要从 (Graph -> ...) 值中获取真实图形，只需将其应用于空图形即可。这是一个合理的做法吗？

Answer 1

好的，所以

create-node :: (Graph -> (Graph, Node))

是状态单子，只是没有花哨的新类型（和翻转的返回值）。所以我看不出这里不使用 State 的好处。毕竟，这让我可以使用状态 Monad 编写相当干净的代码：

 reverseEdgesM :: State Graph ()
 reverseEdgesM = do --...

然后每当我有一些纯代码可以使用 runState 和朋友运行时弹出它：

 reverseEdges :: Graph -> Graph
 reverseEdges = execState reverseEdgesM

如果你确实想推进你的函数的想法，您可能需要查看差异列表以了解它是如何使用简单列表完成的。

另外，如果您刚刚要实现一些算法，您可能需要研究现有的函数图数据结构库（例如 fgl），而不是自己滚动。如果您想了解该理论，请查看 Erwig 关于归纳图的论文。