1. 首页
  2. 问答
  3. 箭头的创意用途

箭头的创意用途

2012-03-11 43 views
11

我刚刚阅读的文章Creative uses of monads，这是很有趣的想法和引用拥挤，所以我很好奇：箭头呢？ 我不是在寻找关于个人意见或基准或“标准”用途的参考（如在monads vs arrows或help understanding arrows in haskell中），而是寻找智能和/或非平凡应用程序的引用列表（可能在研究论文中）？ 。谢谢。箭头的创意用途

来源

2012-03-11 Riccardo T.

+0

我曾经读过一篇关于使用箭头进行音频处理的有趣论文，但现在我找不到它了。 – leftaroundabout 2012-03-12 12:20:12

回答

6

箭头可以用于安全：

Li和Zdancewic（Encoding Information Flow in Haskell）一个非常有趣的纸使用箭头来编码在Haskell的信息流。即他们的建议可以确保分类信息不会泄漏到没有适当权限的流程中。

Tsai等人al建立在Li和Zdancewic的工作基础上，并将其扩展到多线程环境（A Library for Secure Multi-threaded Information Flow in Haskell）。他们甚至展示了如何使用它来阻止某些副通道攻击。

来源

2012-03-11 20:56:02 hakoja

相关问题

 相关问题