reactive-programming - 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 演示？像桨球比赛？还是月球发射器游戏？还是 2D 太阳系模拟器？

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

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

例如，此示例似乎正在使用 Prim 实现： https ://github.com/HeinrichApfelmus/reactive-banana/blob/master/reactive-banana/doc/examples/SlotMachine.hs

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

Answer 1

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

然而，指称语义的本质是它指定程序计算什么，而不是多快。模型实现效率相当低，尤其是涉及动态事件切换的部分。reactive-banana 库的核心是模型实现提供的语义的有效实现。