Usos creativos de las flechas

Question

Acabo de leer el post Creative uses of monads, que está lleno de ideas y referencias muy interesantes, así que me puse curioso: ¿y las flechas? No estoy buscando opiniones personales o referencias sobre los usos básicos o "estándar" (como en monads vs arrows o help understanding arrows in haskell), sino más bien una lista de referencias a aplicaciones inteligentes y/o no triviales (¿quizás en documentos de investigación?) . Gracias.

Answer 1

flechas se pueden utilizar para la seguridad:

Un papel muy interesante por Li y Zdancewic (Encoding Information Flow in Haskell) utilizan flechas para codificar el flujo de información en Haskell. Es decir. su propuesta permite garantizar que la información clasificada no se filtre a procesos sin los privilegios correctos.

Tsai et. Al se basa en el trabajo de Li y Zdancewic, y lo extiende a un entorno de subprocesos múltiples (A Library for Secure Multi-threaded Information Flow in Haskell). Incluso demuestran cómo se puede usar para frustrar ciertos ataques de canales laterales.

Answer 2

Uno de los primeros módulos de Haskell que escribí fue una especie de flecha de imperativo cuántico con "colapso de la función de onda" cada vez que se realizaba I/O. http://hackage.haskell.org/package/quantum-arrow