Đường ống một tham số khác vào dòng trong F #

Question

Tham số đường ống vào đường chỉ hoạt động với các hàm chấp nhận một tham số? Nếu chúng ta nhìn vào ví dụ ở Chris Smiths' page,

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

nơi chức năng filesUnderFolder mình đã mong chỉ tham số rootFolder, gì nếu hàm được mong đợi hai tham số, tức là
let filesUnderFolder size rootFolder

Sau đó, điều này không làm việc :

// 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 

Vì tôi có thể xác định
let inline (>>) f g x y = g(f x y)
Tôi nghĩ tôi có thể sử dụng toán tử đường ống với các hàm có nhiều thông số đầu vào, phải không? Tôi đang thiếu gì?

Answer 1

Khi trộn vận hành đường ống dẫn và lý lẽ cà ri được nhận thức của để bạn vượt qua đối số.

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

Hãy nghĩ về việc trình biên dịch đặt dấu ngoặc đơn quanh hàm và tham số của hàm như thế này.

@"C:\Users\chrsmith\Pictures\" |> filesUnderFolder size
trở thành
@"C:\Users\chrsmith\Pictures\" |> (filesUnderFolder size)
hoặc
(filesUnderFolder size) @"C:\Users\chrsmith\Pictures\"

Out of nhằm dụ

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

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

1 |> print2 2;; 
2 - 1 

Với ba đối số

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 

Định nghĩa

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

Ví dụ bạn đề nghị nên làm việc tốt, a la

let add x y = x + y 

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

Nếu filesUnderFolder mất hai args cà ri, và bạn phần nào áp dụng nó vào một arg, bạn có thể sử dụng nó trong các đường ống dẫn cho người kia.

(Cũng lưu ý các đường ống dẫn ít được biết đến hành ||>

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

mà phải mất một 2-tuple và thức ăn chúng liên tục vào những gì sau.)

Answer 3

Nó có thể là phong cách xấu (?), Nhưng bạn có thể thêm các thông số bổ sung cho các đường ống dẫn 'từ phía bên phải'

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)