我刚刚阅读了monad的创意使用文章,其中包含非常有趣的想法和参考资料,所以我很好奇:箭头怎么样？我不是在寻找关于基础知识或"标准"用途的个人观点或参考资料(如monads vs箭头或帮助理解haskell中的箭头),而是寻找智能和/或非平凡应用程序的参考列表(也许在研究论文？).谢谢.
箭头可用于安全:
Li和Zdancewic(Haskell中的编码信息流)的一篇非常有趣的论文使用箭头来编码Haskell中的信息流.也就是说,他们的提议可以确保在没有适当特权的情况下,机密信息不会泄露给流程.
蔡等人 al建立在Li和Zdancewic的工作基础之上,并将其扩展到多线程环境(Haskell中的安全多线程信息流库).他们甚至演示了如何利用它来阻止某些侧通道攻击.
| 归档时间： |
|
| 查看次数： |
890 次 |
| 最近记录： |