haskell - 将 Haskell 箭头视为图形的工具

Question

Haskell 箭头通常被解释为表达计算的有向无环图 (DAG)。我正在寻找可以使用这种关系来帮助使用 Arrow 进行编程的工具或库代码。

从 Arrow 到图表，工具可以帮助可视化 Arrow 代码。由于代码对应于计算的 DAG，因此显示计算节点和输出到输入边的视觉表示是很自然的。工具可以创建一个可以使用标准图形工具查看和操作的图形。

是否有 Arrow 转换器可以增强任意计算 Arrow 类，捕获 >>> 和 *** 操作提供的结构，并使得可以将计算检查为基本 Arrow 操作的图形？

从图到箭头，假设有一个DAG，其节点是箭头操作。是否有一个工具可以据此构造一个计算整个 DAG 的 Arrow？

我在 Google 上搜索了很多有关 Haskell Arrows 的文章，但没有找到这样的可视化工具。我错过了什么？也许并不像我想象的那么自然。

Answer 1

一个好的起点是使用所谓的“自由箭头”来指定箭头图。您可以找到免费 Arrow 的一种实现 in this Stack Overflow answer 。将此视为箭头图的语法表示。

免费Arrow的好处是它们保留了图表的结构，然后您可以将其显示为图表。显示连接图后，您可以使用解释器将自由的箭头转换为所需的箭头。自由Arrow的一个很好的特性是，这样的解释器根据定义必须是唯一的(直到同构)(这是使其“自由”的特性之一)。