>>854 >>855
ありがとう、レス遅くなってスマン。

ずっと考えてたんだが、正直いまいち理解できていない。
作成時刻というのが、なんか実装の辻褄合わせのために
無理矢理入れた概念みたいな感じを受ける。

あと、どうもそもそも Signal の意味をちゃんと理解できていないと思った。
discrete time FRP なんだから、Double -> a じゃなく Nat -> a なのは分るけど、
この Nat は離散「時間」というよりは「順番」や「番号」みたいなモノなのかな。

離散時間を明示的には扱えないのも、時間じゃないから？

へたに reactive や banana の知識があるせいか、
この辺りもやもやしてスッキリしないから論文を当たってみるわ。
（Efficient and Compositional Higher-Order Streams）