箭头的创造性使用

时间:2012-03-11 17:58:16

标签: haskell arrows

我刚刚阅读了帖子Creative uses of monads,其中有很多有趣的想法和参考资料,所以我很好奇:箭头怎么样? 我不是在寻找关于基础知识或“标准”用法的个人观点或参考资料(如monads vs arrowshelp understanding arrows in haskell),而是寻找智能和/或非平凡应用程序的参考列表(也许在研究论文中?)。感谢。

2 个答案:

答案 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