“重用”的技巧Haskell 中的争论？

Question

有时我会偶然发现我想要表达的问题“请使用最后一个参数两次”，例如为了编写 pointfree 风格或避免 lambda。例如

sqr x = x * x

可以写成

sqr = doubleArgs (*) where
   doubleArgs f x = f x x

或者考虑这个稍微复杂的函数（取自 这个问题）：

ins x xs = zipWith (\ a b -> a ++ (x:b)) (inits xs) (tails xs)

如果有这样的函数，我可以自由编写这段代码：

ins x = dup (zipWith (\ a b -> a ++ (x:b))) inits tails where
     dup f f1 f2 x = f (f1 x) (f2 x)

但是因为我找不到像 doubleArgs 或 dup 这样的东西Hoogle，所以我想我可能会错过这里的一个技巧或习语。

Answer 1

来自 Control.Monad：

join :: (Monad m) -> m (m a) -> m a
join m = m >>= id

instance Monad ((->) r) where
    return = const
    m >>= f = \x -> f (m x) x

扩展：

join :: (a -> a -> b) -> (a -> b)
join f = f >>= id
       = \x -> id (f x) x
       = \x -> f x x

所以，是的，Control.Monad.join。

哦，对于你的 pointfree 示例，你是否尝试过使用应用符号（来自 Control.Applicative）：（

ins x = zipWith (\a b -> a ++ (x:b)) <
gt; inits <*> tails

我也不知道为什么人们如此喜欢 a ++ (x: b) 而不是 a ++ [x] ++ b...它并不更快——内联函数会处理它——而且后者更加对称！那好吧）

Answer 2

你所谓的“doubleArgs”更常被称为 dup - 它是 W 组合器（在《模仿一只知更鸟》中称为 warbler） - “基本复制器”。

你所说的“dup”实际上是“starling-prime”组合器。

Haskell 有一个相当小的“组合器基础”（参见 Data.Function），加上一些 Applicative 和 Monadic 操作，凭借 Applicative 和 Monad 的函数实例添加了更多“标准”组合器（Applicative 中的 <*> 是 S - starling 组合器对于功能实例， liftA2 和 liftM2 是 starling-prime）。社区中似乎对扩展 Data.Function 没有太多热情，因此虽然组合器很有趣，但实际上，在组合器无法直接可用的情况下，我更喜欢长期使用。

Answer 3

这是我的问题第二部分的另一个解决方案：箭头！

import Control.Arrow

ins x = inits &&& tails >>> second (map (x:)) >>> uncurry (zipWith (++))

&&&（“fanout”）将参数分配给两个函数并返回结果对。 >>>（“然后”）反转函数应用顺序，从而允许从左到右形成一系列操作。 second 仅适用于一对的第二部分。当然，您需要在末尾添加一个 uncurry 来将这对输入到需要两个参数的函数中。