8

这是运行良好的代码：

let f x y z = x + y + z

let g x y = f x y
let h x z = z |> f x

所以我可以写表达式“h 1”，FSI 显示：

val it : (int -> int -> int) = <fun:it@110-3>

如果我调用“h 1 2 3”，则参数将以正确的顺序应用。
但是如果最后一个参数的类型不同，事情就会不同：

let ff x y (z : string) = x + y

let gg x y = ff x y
let hh x (z : string) = z |> ff x

现在最后一个函数 hh 会导致错误消息：

Script.fsx(119,10)：错误 FS0001：类型不匹配。期待 astring -> 'a 但给定 a int -> string -> int。类型与类型string不匹配int

我理解为什么会发生这种情况——“z”附加到“ff x”之后，使其成为第二个参数。但是我希望在第一个示例表达式中“h 1 2 3”不能正常工作（作为“f 1 3 2”执行）。但它工作得很好。

4

1 回答 1

9

函数ff和gg您的示例中的函数是相同的 - 流水线运算符为右侧函数的第一个参数提供值。在您的示例中，右侧的函数是ff x并且通过使用流水线操作符，您可以指定参数的值y：

let ff x y (z : string) = 
  printfn "%s" z
  x + y

// These two functions are the same:
let gg x y = ff x y
let hh x y = y |> ff x

使用部分函数应用程序时，除了第一个参数之外，没有用于指定其他参数的标准语法。但是，您可以编写高阶函数或自定义运算符来执行此操作。例如：

// Takes a function 'f' of type 'b -> 'a -> 'c
// and a value 'v' of type 'a and creates a function
// that takes the first argument ('b -> 'c)
let (|*>) v f = (fun mid -> f mid v);;

let gg x y = ff x y     // Specifies arguments x and y
let hh x z = z |*> ff x // Specifies arguments x and z

我命名该运算符|*>表示它跳过了一个参数。您可以定义类似地指定其他参数值的运算符（例如|**>跳过前两个参数）。

于 2010-07-07T13:24:11.843 回答