Reactive banana：模型实现，120行代码真正完整地描述了Reactive Banana的语义？

Question

这120行代码是否完全和完整地描述了Reactive Banana的语义？

https://github.com/HeinrichApfelmus/reactive-banana/blob/develop/reactive-banana/src/Reactive/Banana/Model.hs

这120行代码可以被视为FRP的指称语义吗？

这个120 loc是否提供与Sodium 1000 loc相同的功能？

是否有使用此模型实现的简单FRP演示？像一个paddleball游戏？还是月球发射器游戏？还是2D太阳能系统模拟器？

我很想看到一些使用这个120 loc FRP实现的反应式演示。

我可以以某种方式修改现有的Reactive Banana演示以使用此120 loc模型实现而不是Prim实现吗？

这个例子似乎是使用Prim实现： https://github.com/HeinrichApfelmus/reactive-banana/blob/master/reactive-banana/doc/examples/SlotMachine.hs

是否可以修改它以使用Model实现？

Answer 1

（作者在这里。）model implementation确实提供了由反应性香蕉实现的功能性反应式编程的（指称性）语义。

然而，指示语义的本质是它指定程序计算的 ，但不是有多快。模型实现效率很低，特别是涉及动态事件切换的部分。反应香蕉库的内容是模型实现提供的语义的高效实现。