有沒有辦法在Haskell中使h（fx）（gx）無點？

Question

我猜想我想要J的叉功能。 有沒有辦法做到這一點？

Answer 1

這是，使用所謂的適用風格，

h <$> f <*> g

使用Control.Applicative <$>和<*> 。

---

另一種方法是將h提升到(->) r applicative functor中

liftA2 h f g

這背后的直覺是，如果

h        ::    a     ->    b     ->   c
-- then --
liftA2 h :: (r -> a) -> (r -> b) -> r -> c

所以提升版本需要兩個函數r -> something而不是實際的something ，然后輸入一個r來從r中獲取something 。

---

liftA*和<$>和<*>的相應組合是等效的。

Answer 2

雖然@kqr具有基於((->) a)的Applicative實例的更實用的解決方案，但我們也可以在“pipey”方法中討論它

        +----- f ------+
       /                \
<---- h                  +------< x
       \                /
        +----- g ------+

它提供了一種非常有組織的無點程序。 我們將使用Control.Arrow工具創建此程序。

首先，我們使用Haskell中常見的缺失函數diag或dup來獲取圖表中最右邊的部分

--+
   \
    +----- x        dup :: x -> (x, x)
   /                dup x = (x, x)
--+

然后使用Control.Arrow的(***)組合器創建中間

----- f -----     (***)   :: (a -> b) -> (c -> d) -> (a, c) -> (b, d)
                  f       :: (a -> b)
                  g       ::             (c -> d)
----- g -----     f *** g ::                         (a, c) -> (b, d)

然后左側正是uncurry為我們做

  +--    uncurry   :: (a -> b -> c) -> (a, b) -> c
 /       h         :: (a -> b -> c)
h        uncurry h ::                  (a, b) -> c
 \   
  +--

然后將它們連接在一起我們可以用非常合成的樣式擦除x點。

m :: (a -> b -> c) -> (x -> a) -> (x -> b) -> x -> c
m h f g = uncurry h . (f *** g) . dup

                  +------ f ----+
                 /               \
         <----- h                 +-----------< x (eta reduced)
                 \               /
                  +------ g ----+