haskell - 在 Haskell 中乱码

Question

在 Haskell 中，是否有一个优雅的符号来对函数的参数进行乱序处理？

例如，如果你想用 2 除以列表的所有元素，你可以写

map ((/) 2) [1,2,3,4,5]

但是，要划分列表的所有元素，您似乎需要定义一个匿名函数

map (\x -> x/2) [1,2,3,4,5]

在更复杂的情况下，匿名函数很快就会变得笨拙。我知道在这种情况下 map ((*) 0.5) [1,2,3,4,5] 可以正常工作，但我很想知道 Haskell 是否有更优雅的方法来对函数的参数进行柯里化乱序？

score 17 · Accepted Answer

在这种特殊情况下：

Prelude> map (/2) [1..5]
[0.5,1.0,1.5,2.0,2.5]

不仅可以将中缀运算符用作普通前缀函数，还可以部分应用中缀形式。同样，第一个例子最好写成map (2/) [1..5]

此外，还有flip一个不太优雅，但仍然是普通函数的最佳选择（当你不想通过反引号将它们变成中缀时）：

Prelude> let div' = (/)
Prelude> div' 2 1
2.0
Prelude> flip div' 2 1
0.5

score 2 · Accepted Answer

对于您的第二个，lambda 是不必要的，只需使用如下：

map (/2) [1..5]

形式 (/2) 仅表示您要访问运算符的第二个参数。第一个参数也是可能的(2/)。这被称为section，它是一个非常有用的 hack，不仅在代码高尔夫中。你也可以在前缀函数中使用它，如果你使用它们中缀：

map (`div` 2) [1..5]

在更困难的情况下，例如 3 个或更多参数，您应该使用 lambda，因为它在大多数情况下变得更具可读性。

score 2 · Accepted Answer

我认为您正在寻找一个通用的解决方案，例如cutin 方案。对？

有一个flip函数可以反转函数的前 2 个参数。可能还有其他功能在做类似的任务（我对 Haskell 不太擅长......但是）。

score 0 · Accepted Answer

我最近自己也遇到了一个非常相似的问题，除了使用辅助函数之外，我找不到一个优雅的解决方案：

dbfunc f b c = (\a -> liftIO $ f a b c)
deleteAllRows = do
  ask >>= dbfunc run "delete from t1" []

至少这种模式在 HDBC 中很常见，以至于 dbfunc 是可重用的。

4 回答 4