我刚刚阅读了帖子Creative uses of monads,其中有很多有趣的想法和参考资料,所以我很好奇:箭头怎么样? 我不是在寻找关于基础知识或“标准”用法的个人观点或参考资料(如monads vs arrows或help understanding arrows in haskell),而是寻找智能和/或非平凡应用程序的参考列表(也许在研究论文中?)。感谢。
答案 0 :(得分:6)
箭头可用于安全:
Li和Zdancewic(Encoding Information Flow in Haskell)的一篇非常有趣的论文使用箭头来编码Haskell中的信息流。即他们的提案可以确保在没有适当特权的情况下,机密信息不会泄露给流程。
Tsai et。 al建立在Li和Zdancewic的工作基础之上,并将其扩展到多线程环境(A Library for Secure Multi-threaded Information Flow in Haskell)。他们甚至演示了如何利用它来阻止某些侧通道攻击。
答案 1 :(得分:4)
我写过的第一个Haskell模块之一就是一种量子命令箭头,当I / O完成时会出现“波函数崩溃”。 http://hackage.haskell.org/package/quantum-arrow