Я только что прочитал сообщение Creative uses of monads, в котором много интересных идей и ссылок, поэтому мне стало любопытно: как насчет стрел? Я не ищу личные мнения или ссылки на основы или «стандартные» цели (как в monads vs arrows или help understanding arrows in haskell), а скорее на список ссылок на интеллектуальные и/или нетривиальные приложения (возможно, в исследовательских работах?) , Благодарю.Творческое использование стрел
Стрелки могут быть использованы для обеспечения безопасности:
Очень интересная статья Ли и Zdancewic (Encoding Information Flow in Haskell) использовать стрелки для кодирования потока информации в Haskell. То есть их предложение позволяет обеспечить, чтобы секретная информация не просачивалась в процессы без правильных привилегий.
Tsai et. al строит на работе Li и Zdancewic и расширяет ее до многопоточной среды (A Library for Secure Multi-threaded Information Flow in Haskell). Они даже демонстрируют, как его можно использовать для предотвращения некоторых побочных атак.
Один из первых модулей Haskell, который я когда-либо писал, был своего рода квантово-императивной стрелой с «развалом волновой функции» всякий раз, когда выполнялся I/O. http://hackage.haskell.org/package/quantum-arrow
Однажды я прочитал интересную статью об использовании стрелок для обработки звука, но я не могу ее найти сейчас. – leftaroundabout