Haskell 箭的创造性使用

我刚读了这篇文章，里面有很多非常有趣的想法和参考资料，所以我很好奇：箭头呢？

---

我不是在寻找关于基本或“标准”用途（如或）的个人意见或参考文献，而是寻找智能和/或非平凡应用的参考文献列表（可能在研究论文中？）。谢谢。

箭头可用于安全：

Li和Zdancewic（）的一篇非常有趣的论文使用箭头对Haskell中的信息流进行编码。也就是说，他们的提议使得有可能确保机密信息不会泄露给没有适当特权的进程

---

Tsai等人以Li和Zdancewic的工作为基础，将其扩展到多线程环境（）。他们甚至演示了如何使用它来阻止某些侧通道攻击

我写过的第一个Haskell模块之一是一种量子命令箭头，每当I/O完成时都会出现“波函数崩溃”

我曾经读过一篇关于使用箭头进行音频处理的有趣文章，但现在找不到了。