Creative uses of monadsという投稿を読んだところ、非常に興味深いアイデアや参考文献がたくさんありました。私は個人的な意見や基本的な使用法や「標準的な」使用法に関する参考文献 (モナド対矢印やhaskell の矢印を理解するのに役立ちます) を探しているのではなく、スマートおよび/または重要なアプリケーションへの参考文献のリストを探しています (おそらく研究論文で？）。ありがとう。
2 に答える
7
矢印はセキュリティに使用できます。
Li と Zdancewic による非常に興味深い論文 ( Encoding Information Flow in Haskell ) では、矢印を使用して Haskell の情報フローをエンコードしています。つまり、彼らの提案により、機密情報が適切な権限のないプロセスに漏洩しないようにすることが可能になります。
ツァイら。al は Li と Zdancewic による作業に基づいて構築されており、マルチスレッド環境に拡張されています ( Haskell での安全なマルチスレッド情報フローのライブラリ)。それらは、特定のサイドチャネル攻撃を阻止するためにどのように使用できるかを示しています.
于 2012-03-11T20:56:02.720 に答える
4
私がこれまでに書いた最初の Haskell モジュールの 1 つは、I/O が完了するたびに「波動関数の崩壊」を伴う一種の量子命令型の矢でした。http://hackage.haskell.org/package/quantum-arrow
于 2012-03-11T22:33:39.307 に答える