Sign Up to our social questions and Answers Engine to ask questions, answer people’s questions, and connect with other people.
Login to our social questions & Answers Engine to ask questions answer people’s questions & connect with other people.
Lost your password? Please enter your email address. You will receive a link and will create a new password via email.
Please briefly explain why you feel this question should be reported.
Please briefly explain why you feel this answer should be reported.
Please briefly explain why you feel this user should be reported.
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 opinions or references on the basics or “standard” uses (as in monads vs arrows or help understanding arrows in haskell), but rather for a list of references to smart and/or non-trivial applications (maybe in research papers?). Thanks.
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.