我刚刚阅读了monads 的 Creative uses的帖子，里面挤满了非常有趣的想法和参考资料，所以我很好奇：箭头呢？我不是在寻找关于基础或“标准”用途的个人意见或参考（如monads vs arrows或帮助理解 haskell 中的箭头），而是寻找智能和/或非平凡应用程序的参考列表（也许在研究论文中？）。谢谢。
问问题
933 次
2 回答
7
箭头可用于安全：
Li 和 Zdancewic 的一篇非常有趣的论文（在 Haskell 中编码信息流）使用箭头对 Haskell 中的信息流进行编码。即他们的提议可以确保机密信息不会泄露给没有正确权限的进程。
蔡等。al 基于 Li 和 Zdancewic 的工作，并将其扩展到多线程环境（A Library for Secure Multi-threaded Information Flow in Haskell）。他们甚至演示了如何使用它来阻止某些侧信道攻击。
于 2012-03-11T20:56:02.720 回答
4
我写的第一个 Haskell 模块之一是一种量子命令箭头，每当 I/O 完成时就会出现“波函数崩溃”。http://hackage.haskell.org/package/quantum-arrow
于 2012-03-11T22:33:39.307 回答