Creative uses of arrows

后端 未结 2 439
执念已碎
执念已碎 2021-02-03 10:27

I just read the post Creative uses of monads, that is crowded of very interesting ideas and references, so I got curious: what about arrows? I\'m not looking for personal opinio

2条回答
  •  执念已碎
    2021-02-03 10:37

    Arrows can be used for security:

    A very interesting paper by Li and Zdancewic (Encoding Information Flow in Haskell) use arrows to encode information flow in Haskell. I.e. their proposal makes it possible to ensure that classified information is not leaked to processes without the right privileges.

    Tsai et. al builds on the work by Li and Zdancewic, and extends it to a multi-threaded environment (A Library for Secure Multi-threaded Information Flow in Haskell). They even demonstrate how it can be used to thwart certain side-channel attacks.

提交回复
热议问题