user-interface - FRP在顶层应该如何工作？

Question

我一直在尝试创建 Functional Reactive Programming framework for Scala .目前我感到困惑的一件事是当前的实现如何处理表示顶层的行为。为了解释我的意思，我举个例子。假设我有一个 JPanel，我想这样做:

 JPanel panel = new Panel()
 panel.setBackground(new Behaviour(time => Color.red))

虽然这里的颜色是静态的，但我们希望面板背景在 Behavior 的值更新时更新。到目前为止，我所做的方式基本上是使用事件创建离散化的行为(可通过行为上的 changes 函数访问)。这基本上只是行为发生变化时发生的事件源。使用这里 setBackground 的实现将是:

def setBackground(color : Behaviour[Color]) {
  super.setBackground(color.now)
  color.changes.each(change => super.setBackground(change))
}

这感觉有点乱。有人对这是否是一种不好的方法有任何建议吗？我一直在看 Elliott 的 Push-Pull FRP今天，感觉我可能会朝着正确的方向前进，但在某个地方迷路了。

编辑:如果没有人有明确的解决方案，那么想法/想法会很棒!

Answer 1

两件事情:

在 Conal Elliott 最初的设想中，行为在时间上是连续的，因此它们不带有函数 changes这表明它们何时发生变化。

返回当前时钟时间的行为将是连续行为的主要示例。它不支持 changes函数，除非您指定时间步长(“它每纳秒生成一个“更改”事件”)。但是“连续”的点是缺少时间步长。

在我看来，这意味着 Conal 意义上的行为根本不支持增量更新。在我的 reactive-banana库，我引入了一个新的数据类型 Discrete那是行为和事件之间的某种混合。见模块文档Reactive.Banana.Incremental有关基本原理的更多详细信息。

您可能对包装每个 GUI 函数(如 setBackground)感到恼火。使其适用于行为而不是普通值。这是高阶函数真正的亮点:包装器始终相同，您可以将其表示为高阶函数；这里有一个 Haskell 版本:

set' :: Property a -> Behavior a -> IO ()
set' property behavior = do
     set property (now behavior)
     each (\a -> set property a) (changes behavior)          

each f event = reactimate (fmap f event) -- helper definition

example = set' background red

当然，这在很大程度上依赖于 Haskell 的语法，并且在 Scala 中可能不那么令人愉快，其中一些函数是在第一个参数之前编写的。