榆樹升降功能

Question

我是榆樹的新手。

根據該文件，

lift2 : (a -> b -> c) -> Signal a -> Signal b -> Signal c 

Combine two signals with a given function. 

我能有辦法做這樣的事情？

(a->b->c) -> Signal a -> b -> Signal c 

這是真的，這樣做的唯一方法是先用constant : a -> Signal a然後用lift2

只是好奇，是有辦法迅速讓Signal a -> a，如果可能的話？

Answer 1

您將無法使用簽名Signal a -> a編寫函數。

然而，應該可以寫(a -> b -> c) -> Signal a -> b -> Signal c

這是你想要的嗎？

foo : (a->b->c) -> Signal a -> b -> Signal c 
foo f sa b = (flip f) b <~ sa