Творческое использование стрел

Question

Я только что прочитал пост Творческое использование монад , где много интересных идей и ссылок, поэтому мне стало любопытно: а стрелки? Я не ищу личные мнения или ссылки на основы или «стандартное» использование (как в монады против стрелок или , помогающие понять стрелки в haskell ), а скорее на список ссылки на умные и / или нетривиальные приложения (может быть, в научных статьях?). Спасибо.

Answer 1

Стрелки можно использовать для безопасности:

Очень интересная статья Ли и Зданцевича ( Кодирование информационного потока в Haskell ) использует стрелки для кодирования информационного потока в Haskell. То есть их предложение позволяет гарантировать, что секретная информация не будет передана процессам без соответствующих привилегий.

Tsai et. Все основано на работе Ли и Zdancewic, и расширяет ее до многопоточной среды ( Библиотека для безопасного многопоточного потока информации в Haskell ). Они даже демонстрируют, как его можно использовать для предотвращения определенных атак по побочным каналам.

Answer 2

Одним из первых модулей на Haskell, который я когда-либо писал, была своего рода квантовая императивная стрелка с «коллапсом волновой функции» всякий раз, когда выполнялся ввод-вывод. http://hackage.haskell.org/package/quantum-arrow