X = X + 1 brought us here
~
(FRP) is a functional architecture for streams and event systems.
FRP is related to linear logic 
via the Curry Howard Correspondence.
FRP is related to Co-Algebras .
Reflex FRP aims at solving the problem that software is difficult to deploy on different platforms. Javascript and Java solve this problem by running a virtual machine on the host system. Frameworks like electron allow to build cross-platform apps. Reflex FRP allows the compilation to the native system with the GHC and GHCJS (and maybe webassembly ?). Johannes Drever chosed Reflex FRP for the form bakery in order to learn and get to know it.