Haskell $操作符在实际使用中

Question

我正在尝试使用 $ 运算符了解 Haskell 表达式。特别是关于如何在 Haskell 中使用 $ 运算符或其他如果需要的话：

add 1 (add (subtract 2 4) (subtract 8 16))

我设法删除了两个paren组，如下所示：

add 1 $ add (subtract 2 4) $ subtract 8 16

但仍然需要删除最后一对。

有什么想法吗？

Answer 1

你可以试试中缀形式

add 1 $ subtract 2 4 `add` subtract 8 16

编辑

还有其他方法。

让我们定义：

newtype W a = W { w :: a } 

pure' = W

(.$.) :: W (a -> b) -> a -> W b
(.$.) (W a) b = W $ a b

以及要使用的操作

plus :: Int -> Int -> Int
plus = (+)

那我们可以做下一步了

foo :: Int
foo = w $ pure' plus .$. plus 1 2  .$.  2 

它基本上是应用函子（你可以用谷歌搜索示例），只是名称不同。

你在你的操作前加上w $ pure'，用.$.分隔参数。