String diagrams for free monads (functional pearl)
String diagrams for free monads (functional pearl)
复制标题
免费 monad 的字符串图（功能性珍珠）
DOI：
10.1145/2951913.2951947
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Nicolas Wu
中科院分区：
文献类型：
--
作者：
Maciej Piróg;Nicolas Wu
我们展示了如何使用它们的普遍属性而不是任何具体的实现来推理自由单子。我们引入一个图形，二维微积分量身定制，以适应这些属性。
We show how one can reason about free monads using their universal properties rather than any concrete implementation. We introduce a graphical, two-dimensional calculus tailor-made to accommodate these properties.