執行zipE ::事件t a - >事件t b - >事件t（a，b）

Question

我是新來的一般反應性香蕉和玻璃鋼，所以道歉，如果我失去了明顯的東西。

對於my project（a GDB/MI前端）我對GUI和前端邏輯模塊都使用反應香蕉（版本0.6.0.0）。前者效果很好，但對於後者我顯然需要額外的組合器。其中之一是zipE :: Event t a -> Event t b -> Event t (a, b)。不幸的是，我能想出是在使用changes，而不是通用的事件類型NetworkDescription單子的解決方案：

zipE :: Event t Int -> Event t String -> NetworkDescription t (Event t (Int, String)) 
zipE ea eb = changes $ (,) <$> stepper 0 ea <*> stepper "" eb 

當然，我並不滿足於此。因此我想問如何在不使用changes（不鼓勵用於非GUI目的）的情況下實現通用的zipE函數。

其他嘗試失敗，例如

zipE :: Num a => Event t a -> Event t b -> Event t (a,b) 
zipE ea eb = apply (stepper (0,) ((,) <$> ea)) eb 

導致元組的第一元件由一個被移動 - 我想由於stepper引入的「輕微的延遲」。但是我沒有看到如果沒有stepper（或者accumB就是這個問題），如何從一個事件中獲得行爲，我看不到如何將一個函數應用到沒有行爲的事件。總的來說，我不知道如何在泛型類型的情況下爲步進器提供初始值。

Answer 1

您在定義zipE時遇到困難，因爲它沒有語義意義。如果考慮語義定義

Event a == [(Time, a)] 
Event b == [(Time, b)] 

沒有拉上他們，因爲一般每個事件將是在不同的時間以自然的方式。

可以使用總和而不是產品壓縮它們。

zipE :: Event a -> Event b -> Event (Either a b) 
zipE aE bE = (Left <$> aE) `mappend` (Right <$> bE) 

如果你真的需要在同一時間有兩個a和b，合適的解決方案是創建一個Behavior是日積月累的一個或另一個，或與上述合併Either流。

編輯：在合併流（未測試）上累積的一種方式的示例。其他實現也是可能的。這不會使兩個事件同時發生，而是讓您將當前狀態與過去狀態組合在一起，因此您始終可以使用Left和Right值中的最新值。

currentAandB :: a -> b -> Event a -> Event b -> Event (a,b) 
currentAandB a0 b0 aE bE = accumE (a0,b0) (mergefn <$> zipE aE bE) 
    where 
     mergefn (Left a) (_,b) = (a,b) 
     mergefn (Right b) (a,_) = (a,b) 

仍然需要爲兩個Event流提供初始值。這樣想：如果你只有Event a的事件，那麼元組的第二部分應該具有什麼價值？