F#将带参数的运算符传递给函数

时间:2009-11-30 02:57:32

标签: f# operators partial-application

你可以使用部分应用的运算符传递“除以2”或“减1”等操作,其中“加1”如下所示:

List.map ((+) 1) [1..5];;  //equals [2..6]
// instead of having to write: List.map (fun x-> x+1) [1..5]

正在发生的事情是1被应用于(+)作为它的第一个参数,并且列表项被应用为第二个参数。对于加法和乘法,这个参数排序无关紧要。

假设我想从每个元素中减去1(这可能是一个常见的初学者错误):

List.map ((-) 1) [1..5];;  //equals [0 .. -4], the opposite of what we wanted

1作为第一个参数应用于( - ),因此我得(list_item - 1)而不是(1 - list_item)。我可以将其重写为添加负数而不是减去正数:

List.map ((+) -1) [1..5];;
List.map (fun x -> x-1) [1..5];; // this works too

我正在寻找一种更具表现力的写作方式,例如((-) _ 1),其中_表示占位符,就像在Arc语言中一样。这会导致1成为-的第二个参数,因此在List.map中,它将评估为list_item - 1。因此,如果您想将divide by 2映射到列表,您可以写:

List.map ((/) _ 2) [2;4;6] //not real syntax, but would equal [1;2;3] 
List.map (fun x -> x/2) [2;4;6] //real syntax equivalent of the above

可以这样做还是必须使用(fun x -> x/2)?似乎我们最接近占位符语法的方法是使用带有命名参数的lambda。

3 个答案:

答案 0 :(得分:13)

您可以编写一个翻转函数,例如:

let flip f x y = f y x

List.map (flip (-) 1) [2;4;6]

我的语法可能有误,我对F#不是很精通。

答案 1 :(得分:10)

F#,la Haskell中没有'操作部分',也没有占位符参数(显然是la Arc)。您可以使用另一个答案中建议的“翻转”组合器来反转参数的顺序,然后部分应用第一个(现在是第二个)参数。

但我会使用

fun x -> x / 2

除非你正在打代码高尔夫球,否则我不认为在这里试图刮掉另外几个角色会给你买任何东西。

答案 2 :(得分:9)

Logan Capaldo建议的flip - 解决方案也可以使用运算符(此处>.)编写:

let (>.) x f = (fun y -> f y x)
List.map (1 >. (-)) [2;4;6]

或者如果您更喜欢操作数:

let (>.) f x = (fun y -> f y x)
List.map ((-) >. 1) [2;4;6]

修改:使用“看起来更像占位符”的运算符(此处为>-<)可让您非常接近建议的语法:

List.map ((-) >-< 1) [2;4;6]

'_'不幸(?)而不是a valid operator symbol in F#