球拍“宇宙”教学包是FRP的一个例子吗？

Question

2htdp/universe教学包是函数式反应式编程的一个好的(或坏的，还是不好的)示例？

它似乎符合这个概念(每个节拍/输入都建立了一个新的世界状态)，但我从来没有看到与之相关的FRP标签。

Answer 1

球拍编程语言家族附带了FrTime，这是一种将球拍(大部分)转换为FRP语言的语言。例如，如果您在提示符处运行此交互，

> (current-time)
Tue Jul  2 09:31:06 EDT 2013

你总是能看到正确的时间。(好的，这曾经与current-seconds一起使用；现在正在编写一份错误报告。)据我所知，frtime程序将变量视为事件流，这一想法对FRP至关重要。

相比之下，全局程序显式地将事件处理程序(和呈现函数)绑定到特定的OS挂钩(例如，鼠标单击)。这些处理程序获取完整状态并返回完整状态以及对操作的请求(例如，消息发送)。在这个意义上，宇宙不是一种FRP语言。

如果您将语言分为显式FRP语言和隐式FRP语言，您可能会将宇宙教学包归类为显式FRP语言。