６．Reactive Functional Programmingの神髄 以前の記事で、ニュートン力学に従って落下する物体が地面で跳ね返る様子を記述したが、その時のプログラムは次のようになっていた。 rec a <- pure aInit -< undefined v <- integralWith' correct vInit -< (a,…