Я только что прочитал сообщение Креативное использование монадов, в котором много интересных идей и ссылок, поэтому мне стало любопытно: а как насчет стрел? Я не ищу личных мнений или ссылок на основы или "стандартные" варианты использования (как в монах против стрелок или help понимание стрелок в haskell), а скорее список ссылок на интеллектуальные и/или нетривиальные приложения (возможно, в исследовательских работах?). Спасибо.
Творческое использование стрелок
Ответ 1
Стрелки могут использоваться для обеспечения безопасности:
Очень интересная статья Ли и Здансвича (Encoding Information Flow в Haskell) используют стрелки для кодирования потока информации в Haskell. То есть их предложение позволяет обеспечить, чтобы секретная информация не просачивалась в процессы без правильных привилегий.
Tsai et. al основывается на работе Li и Zdancewic и расширяет ее до многопоточной среды (Библиотека для безопасного многопоточного информационного потока в Haskell). Они даже демонстрируют, как его можно использовать для предотвращения некоторых побочных атак.
Ответ 2
Один из первых модулей Haskell, который я когда-либо писал, был своего рода квантово-императивной стрелкой с "развалом волновой функции" всякий раз, когда выполнялся I/O. http://hackage.haskell.org/package/quantum-arrow