Мне нужно написать статью об оптимизации систем функционального реактивного программирования (FRP).
Вот ссылки, которые я нашел до сих пор.
Динамическая оптимизация для функционального реактивного программирования с использованием обобщенных алгебраических типов данных, Хенрик Нильсон
Понижение: метод статической оптимизации для прозрачной функциональной реактивности, Kimberly Burchet et al.
Кроме того, есть ли у кого-нибудь другие ссылки или предложения по оптимизации графиков систем FRP?
См. материалы о каузальных коммутативных стрелках здесь: http://haskell.cs.yale.edu/publications/publications-chronologically/
В конце статьи о pldi Elm есть очень хороший связанный раздел с работами, в котором приводится множество ссылок, которые вы, возможно, захотите изучить: http://people.seas.harvard.edu/~chong/pubs/pldi13-elm.pdf
Предложение: не думайте о FRP с точки зрения графиков или других конкретных представлений. Затем представьте другие возможности, такие как генерация кода, возможно, с использованием GHC API или LLVM.
