我刚刚读了这篇文章单子的创造性用途,里面充满了非常有趣的想法和参考资料,所以我很好奇:箭头怎么样? 我不是在寻找有关基础知识或“标准”用途的个人意见或参考(如monads vs arrows或help Understanding arrows in haskell),而是寻找对智能和/或非智能的参考列表琐碎的应用(也许在研究论文中?)。谢谢。
箭头可用于安全:
Li 和 Zdancewic 的一篇非常有趣的论文(Encoding Information Flow in Haskell)使用箭头在 Haskell 中对信息流进行编码。 IE。他们的提议可以确保机密信息不会泄露给没有适当权限的进程。
蔡等。 al 建立在 Li 和 Zdancewic 的工作基础上,并将其扩展到多线程环境(Haskell 中的安全多线程信息流库)。他们甚至演示了如何使用它来阻止某些旁路攻击。
我编写的第一个 Haskell 模块是一种每当 I/O 完成时都会出现“波函数崩溃”的量子命令箭头。 http://hackage.haskell.org/package/quantum-arrow