将另一个参数通过管道传递到 F# 中的行中

Question

管道参数传入行是否仅适用于接受一个参数的函数？ 如果我们看一下 Chris Smiths 页面，

// Using the Pipe-Forward operator (|>)
let photosInMB_pipeforward =
    @"C:\Users\chrsmith\Pictures\"
    |> filesUnderFolder
    |> Seq.map fileInfo
    |> Seq.map fileSize
    |> Seq.fold (+) 0L 
    |> bytesToMB

他的 filesUnderFolder 函数只需要 rootFolder 参数， 如果函数需要两个参数怎么办，即
let filesUnderFolder size rootFolder

那么这不起作用：

// Using the Pipe-Forward operator (|>)
let size= 4
let photosInMB_pipeforward =
    @"C:\Users\chrsmith\Pictures\"
    |> filesUnderFolder size
    |> Seq.map fileInfo
    |> Seq.map fileSize
    |> Seq.fold (+) 0L 
    |> bytesToMB

因为我可以定义
让内联 (>>) fgxy = g(fxy)
我想我应该能够将管道运算符与具有多个输入参数的函数一起使用，对吧？我缺少什么？

Answer 1

混合管道运算符和柯里化参数时，请注意传递参数的顺序。

let size = 4
let photosInMB_pipeforward =
    size, @"C:\Users\chrsmith\Pictures\"
    ||> filesUnderFolder
    |> Seq.map fileInfo
    |> Seq.map fileSize
    |> Seq.fold (+) 0L 
    |> bytesToMB

想象一下，编译器就像这样在函数及其参数两边加上括号。

@"C:\Users\chrsmith\Pictures\" |>文件夹下的文件大小
变成
@"C:\Users\chrsmith\Pictures\" |> （文件夹下的文件大小）
或
(filesUnderFolder size) @"C:\Users\chrsmith\Pictures\"

乱序示例

let print2 x y = printfn "%A - %A" x y;;

(1, 2) ||> print2;;
1 - 2

1 |> print2 2;;
2 - 1

具有三个参数的

let print3 x y z = printfn "%A - %A - %A" x y z;;

(1, 2, 3) |||> print3;;
1 - 2 - 3

(2, 3) ||> print3 1;;
1 - 2 - 3

3 |> print3 1 2;;
1 - 2 - 3

定义

let inline (|>) x f = f x

let inline (||>) (x1,x2) f = f x1 x2

let inline (|||>) (x1,x2,x3) f = f x1 x2 x3

Answer 2

您建议的示例应该可以正常工作，

let add x y = x + y

41
|> add 1
|> printfn "%d"

如果 filesUnderFolder 接受两个柯里化参数，并且您将其部分应用于一个参数，则可以在另一个参数的管道中使用它。

（另请注意鲜为人知的管道运算符 ||>，

(41,1)
||> add
|> printfn "%d"

它采用 2 元组并将它们按顺序输入到后面的内容中。）

Answer 3

这可能是不好的风格（？），但您可以“从右侧”向管道添加其他参数

let h x y z = x + y - z

let sub x y = x - y

let sqr x = x * x

3 |> h <| 2 <| 7
  |> sub <| 23
  |> sqr

// is the same as
sqr (sub (h 3 2 7) 23)