2012-03-11 15 views
11

投稿記事Creative uses of monads、それは非常に興味深いアイデアや参考資料が集まっているので、私は不思議に感じました。矢印はどうですか? 私は個人的な意見や参考資料を探しているわけではありません(monads vs arrowsまたはhelp understanding arrows in haskellなど)。スマートアプリケーションや重要ではないアプリケーション(リサーチペーパーの可能性もありますか? 。ありがとう。矢印の創造的な使用

+0

私はかつてオーディオ処理のための矢印の使用に関する興味深い論文を読んでいましたが、私は今それを見つけることができません。 – leftaroundabout

答えて

6

矢印は、セキュリティのために使用することができる。

LiおよびZdancewic(Encoding Information Flow in Haskell)によって非常に興味深い論文は、Haskellでの情報の流れを符号化するために矢印を使用。私。彼らの提案は、分類された情報が適切な特権なしにプロセスに漏れないことを保証することを可能にする。

Tsai et。 alは、LiとZdancewicによる作業を基に、マルチスレッド環境(A Library for Secure Multi-threaded Information Flow in Haskell)に拡張しています。彼らは、特定のサイドチャネル攻撃を阻止するためにどのように使用できるかを実証しています。