在Haskell中出现故障

时间:2010-09-24 16:43:15

标签: haskell currying

在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 个答案:

答案 0 :(得分:16)

在这种特殊情况下:

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

答案 1 :(得分:2)

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

map (/2) [1..5]

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

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

在更困难的情况下,比如3个或更多的参数,你应该使用lambdas,因为它在大多数时候变得更具可读性。

答案 2 :(得分:2)

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

flip函数反转函数的前2个参数。可能还有其他功能正在执行类似的任务(我不太擅长Haskell ......)。

答案 3 :(得分:0)

我最近遇到了一个very similar issue,除了使用帮助函数之外,我找不到优雅的解决方案:

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

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