球拍「宇宙」是否包含FRP的例子？

Question

2htdp/universe是否包含一個良好（或不好或不是）功能反應規劃的例子？

它似乎符合這個概念（世界上一個新的狀態建立在每個滴答/輸入），但我從來沒有看到與它相關的FRP標籤。

Answer 1

Racket編程語言系列附帶FrTime，這是一種將球拍（大部分）轉換爲FRP語言的語言。如果在提示符處運行此交互，例如，

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

您經常看到正確的時間。 （好吧，這用於與current-seconds一起工作;一個錯誤報告正在起作用。）據我所知，方案程序將變量視爲事件流，並且這個想法對FRP是必不可少的。

相比之下，Universe程序明確地將事件處理函數（和渲染函數）綁定到某些OS鉤子（例如鼠標點擊）。這些處理程序獲得完整狀態並返回完整狀態和操作請求（例如，發送消息）。從這個意義上講，宇宙不是一個玻璃鋼語言。

如果您要將語言分爲顯式和隱式FRP語言，您可以將Universe教程分類爲明確的FRP語言。