`occs`をプログラマが利用できるはずですか？

Question

FRPを読んで実装しているときに、私はイベントのoccs関数の意味論（Conal Elliottの論文で参照されている）と混同しています。静的（純粋な）イベントを処理する場合は非常に簡単ですが、マウスボタンの押下などの動的イベントではどのように動作するのか分かりません。例えば、もしoccs戻り、その後限り（すべてのオカレンスは、まだ知られていないので）、ダイナミックイベントには、次のものの一つになる可能性があるため、私はoccsのための結果を見ることができるように、イベントの発生のすべて：

1は、セマンティック純度およびその他を壊す - コール
• 自動的にこれらの両方は少し醜いようだ。もちろん、イベント自体

を最新の状態に保たれている配列/リストの時

知ら出現副作用が伴う。

occs機能をFRPフレームワーク自体の外部で削除するほうがいいでしょうか（つまり、それをイベントやそれ以外のものに限定します）。イベントがmap、filter、mergeなどの関数を持っている限り、それ以上のイベントを返す関数は問題なく失われる可能性があります。それとも、私は何かを誤解していますか？

Answer 1

私が理解する限り、Conal's paperに記載されているoccs機能はAPIの一部ではありません。むしろ、プログラミングモデルの仕様です。 Conalは、さまざまなコンビネータのセマンティクスを記述するためにそれを使用しますが、実装することはできません。