Some guy insists "true FRP principle" as follows: A (FRP) library user will describe a mapping f as Current TimeStamp => State by referential transparent function or stream. A system applies the System TimeStamp( t=0,1,2... ) to the f Accordingly, A system obtains State: f(0),f(1),f(2),.... This should be the "true FRP basic principle". The guy also shown the following code as a "proof of the conc