箭头的创意运用

我刚刚读了帖子单子的创造性用途 https://stackoverflow.com/questions/412929/creative-uses-of-monads，其中充满了非常有趣的想法和参考，所以我很好奇：箭头怎么样？ 我并不是在寻找有关基础知识或“标准”用途的个人意见或参考（如单子与箭头 https://stackoverflow.com/questions/3652054/monads-vs-arrows or 帮助理解 haskell 中的箭头 https://stackoverflow.com/questions/3154701/help-understanding-arrows-in-haskell），而是智能和/或重要应用程序的参考列表（也许在研究论文中？）。谢谢。

为了安全起见，可以使用箭头：

Li 和 Zdancewic 撰写的一篇非常有趣的论文（Haskell 中的信息流编码 http://www.cis.upenn.edu/~stevez/papers/LZ06a.pdf）在 Haskell 中使用箭头来编码信息流。 IE。他们的提议可以确保机密信息不会泄露给没有适当权限的进程。

蔡等。 al 以 Li 和 Zdancewic 的工作为基础，并将其扩展到多线程环境（Haskell 中的安全多线程信息流库 http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.116.8240）。他们甚至演示了如何使用它来阻止某些旁路攻击。