13

在 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 是否有更优雅的方法来对函数的参数进行柯里化乱序?

4

4 回答 4

17

在这种特殊情况下:

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
于 2010-09-24T16:47:49.513 回答
2

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

map (/2) [1..5]

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

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

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

于 2010-09-24T16:49:43.817 回答
2

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

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

于 2010-09-24T16:52:39.420 回答
0

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

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

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

于 2010-09-25T09:47:49.320 回答