我刚读了这篇文章 monad的创造性使用那里有很多有趣的想法和参考资料，所以我很好奇：箭头怎么样？ 我不是在寻找关于基础知识或“标准”用途的个人意见或参考资料（如 单子对箭头 要么 帮助理解haskell中的箭头），而是提供智能和/或非平凡应用程序的参考列表（可能在研究论文中？）。谢谢。
我刚读了这篇文章 monad的创造性使用那里有很多有趣的想法和参考资料，所以我很好奇：箭头怎么样？ 我不是在寻找关于基础知识或“标准”用途的个人意见或参考资料（如 单子对箭头 要么 帮助理解haskell中的箭头），而是提供智能和/或非平凡应用程序的参考列表（可能在研究论文中？）。谢谢。
箭头可用于安全：
李和Zdancewic的一篇非常有趣的论文（在Haskell中编码信息流）使用箭头编码Haskell中的信息流。即他们的提案可以确保在没有适当特权的情况下，机密信息不会泄露给流程。
蔡等人al建立在Li和Zdancewic的工作基础之上，并将其扩展到多线程环境（Haskell中安全多线程信息流的库）。他们甚至演示了如何利用它来阻止某些侧通道攻击。
我编写的第一个Haskell模块之一就是一种量子命令箭头，当I / O完成时，它会出现“波函数崩溃”。 http://hackage.haskell.org/package/quantum-arrow