箭头 FRP 中的连续信号切换

Question

我一直在使用 Haskell（尤其是 Yampa）中的 Arrowized FRP 库，但我不太清楚如何进行“连续”切换。我的意思是一个信号通过一个信号函数（下面的sf），它本身就是一个信号（如图上半部分所示）。

由于我不提前知道开关的参数是什么，所以我不知道如何将其简化为更简单的二进制开关。

如果可能的话，应该怎么做呢？我更喜欢 Yampa 代码，但对任何带箭头的 FRP 代码都很满意。我还没有尝试过其他库（例如 Sodium 或 Reactive Banana）来知道在这些情况下我是否会有同样的困惑，但我也对它们很好奇。

编辑

为了使这更清晰更具体，我已标记图像；标签的可能类型是：

• 在：Either Int (Int -> Int)

• 1：(Int -> Int) -> (Either Int (Int -> Int) -> (Int -> Int))

• sf 可能是：

(Either Int (Int -> Int) -> (Int -> Int)) -> Either Int (Int -> Int) -> (Int -> Int)

（例如，app）。但只有当标有问号的部分代表sf 的输入时。如果它表示更复杂的开关，则类型将是

(Either Int (Int -> Int) -> (Int -> Int)) -> (Int -> Int)

改为。

• 2 和 out 几乎无关紧要。

我的想法是我希望电路的行为就像 sf 是 app，标记为 f 的信号代表应用于 in 的函数，并且in 本身是 fs 和 fs 本身的参数的来源。我想得到一个可以处理输入并根据这些输入动态改变其行为（构成它的信号函数）的电路。

一方面，在我看来sf 实际上不可能是app，因为在这种情况下我们没有ArrowApply；但另一方面，我认为可以通过某种形式的复杂切换来实现相同的行为。

Answer 1

我还是觉得是ArrowLoop的情况！

你有

in :: Arr () A
sf :: Arr (A -> B, A) B
one :: Arr B (A -> B)
two :: Arr B C

sf 只是arr (uncurry ($))。

然后你有sf >>> (one &&& two) :: Arr (A -> B, A) (A -> B, C)，你可以使用loop（或者更确切地说loop和arr swap明智地放置）得到Arr A C。

这会给你想要的吗？

Answer 2

您要求将箭头输出的箭头用作箭头。 这就是来自ArrowApply 的app 的用途。

如果你想在像你的图表这样的循环结构中使用它，你可能需要 ArrowLoop，但实际上do 表示法让你对所有这些东西都相当灵活。

app 在this answer 中有相当长的解释，但我将复制主要的相关部分：

---

应用究竟是做什么的？它的类型甚至没有 (->) 它允许您将箭头的输出用作箭头。让我们看看类型。

app :: ArrowApply m => m (m b c, b) c

我更喜欢使用m 到a，因为m 感觉更像是一种计算，而a 感觉就像一个值。有些人喜欢使用类型运算符（中缀类型构造函数），所以你得到 ​​p>

app :: ArrowApply (~>) => (b ~> c, b) ~> c

我们将b ~> c 视为箭头，我们将箭头视为接受bs、做某事并给予cs 的东西。所以这意味着app 是一个箭头，它接受一个箭头和一个值，并且可以产生第一个箭头在该输入上产生的值。

它在类型签名中没有->，因为在使用箭头编程时，我们可以使用arr :: Arrow (~>) => (b -> c) -> b ~> c将任何函数转换为箭头，但您不能将每个箭头都转换为函数，因此(b ~> c, b) ~> c在(b ~> c, b) -> c 或(b -> c, b) ~> c 不可用的地方可用。