Có thể nào trong F # để xử lý một đối số hàm trung bình?

Question

Dưới đây là mã mà hoạt động tốt:

let f x y z = x + y + z 

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

Vì vậy, tôi có thể viết khái niệm "h 1", và hiển thị FSI:

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

Nếu tôi gọi là "h 1 2 3", các đối số được áp dụng yêu cầu hợp lý.
Nhưng nếu đối số cuối cùng có một kiểu khác nhau, mọi thứ trở nên khác nhau:

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

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

Bây giờ chức năng hh cuối cùng gây ra một thông báo lỗi:

Script.fsx (119,10): FS0001 lỗi : Loại không phù hợp. Mong đợi một số string -> 'a nhưng được cung cấp int -> string -> int. Loại string không phù hợp với loại int

Tôi hiểu tại sao điều này xảy ra - "z" được gắn vào "ff x" làm cho nó một số thứ hai. Nhưng sau đó tôi mong đợi trong biểu thức ví dụ đầu tiên "h 1 2 3" không hoạt động đúng (được thực hiện như "f 1 3 2"). Nhưng nó hoạt động tốt.

Answer 1

Các chức năng ff và gg trong ví dụ của bạn giống nhau - toán tử pipelining cung cấp giá trị cho đối số đầu tiên của hàm ở bên phải. Trong ví dụ của bạn, chức năng ở phía bên tay phải là ff x và bằng cách sử dụng các nhà điều hành pipelining, bạn chỉ định giá trị cho tham số 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 

Không có cú pháp stnadard để xác định khác so với các thông số đầu tiên khi sử dụng chức năng phần ứng dụng. Tuy nhiên, bạn có thể viết hàm bậc cao hơn hoặc toán tử tùy chỉnh để thực hiện điều đó. Ví dụ:

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

Tôi đã đặt tên toán tử |*> để biểu thị rằng bỏ qua một đối số. Bạn có thể xác định toán tử xác định giá trị của các đối số khác tương tự (ví dụ: |**> để bỏ qua hai đối số đầu tiên).