http://cs.brown.edu/~sk/Publications/Papers/Published/bck-lowering-opt-trans-frp/paper.pdf
Reactive programming is related to dataflow, so you will run into
problems when you get beyond toy-size programs. Though, with
compiler support…
