1. 首頁
  2. 問答
  3. 箭頭的創意用途

箭頭的創意用途

2012-03-11 42 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

相關問題

 相關問題