Оптимизация FRP-систем

Question

Мне нужно написать статью об оптимизации систем функционального реактивного программирования (FRP).

Вот ссылки, которые я нашел до сих пор.

• динамическая оптимизация для функционального Реактивного Программирования с использованием типов Обобщенных Алгебраических данных Хенрик Nilson

• глубина: Статический Метод оптимизации для Transparent функциональной реактивности, Kimberly Burchet и др.

Кроме того, есть ли какие-либо другие рекомендации или рекомендации по оптимизации графиков систем FRP?

Answer 1

См причинные коммутативных стрелки вещи здесь: http://haskell.cs.yale.edu/publications/publications-chronologically/

Там также очень хороший соответствующий раздел работа в конце pldi Вязов бумаги, что дает кучу ссылок один, возможно, пожелает гоняться: http://people.seas.harvard.edu/~chong/pubs/pldi13-elm.pdf

Answer 2

Предложение: Не думайте о FRP в терминах графиков или других конкретных представлений. Затем представьте другие возможности, такие как генерация кода, возможно, с использованием API GHC или LLVM.