將函數與相同但部分未知的簽名組合使用

Question

假設我們有許多過濾函數接受相同的參數並返回布爾結果。

let filter1 _ _ = true 
let filter2 _ _ = false 

這些可以組合成一個過濾器。

let combine2 f1 f2 = fun a b -> f1 a b && f2 a b 
combine2 filter1 filter2 

我們實現需要的f1和f2參數的一些知識。更一般地，我們可以找到功能combine1 ... combineN有用，其中N是過濾器功能的參數數量。可以編寫一個與N無關的通用combine函數嗎？

我對F＃的功能感興趣，並且能夠在其他情況下應用此概念。

更新：我對問題的理解是，當他們不關心結果是簡單類型還是部分應用函數時，函數會成功忽略任何其餘參數。在上面的例子中，我們只在應用所有參數後才達到布爾類型，所以需要指定它們。

Answer 1

使用高階函數，傳遞函數作爲參數

let combineN invoke filters = filters |> List.map invoke |> List.reduce (&&) 

，並使用它像這樣

[filter1; filter2] |> combineN (fun f -> f 1 2) |> printfn "%b" 

演示：https://dotnetfiddle.net/EHC5di

你也可以通過List.reduce參數作爲參數，如combineN (&&) (fun f -> f 1 2) 但通常更容易編寫List.map |> List.reduce

你也可以用多個參數用它

let filter3 _ _ _ = true 
let filter4 _ _ _ = true 

[filter3; filter4] |> List.map (fun f -> f 1 2 3) |> List.reduce (&&) |> printfn "%b" 
[filter3; filter4] |> combineN (fun f -> f 1 2 3) |> printfn "%b" 

編譯器會檢查類型（編號參數）

//call list of function with 2 argument, with more arguments doesnt compile 
[filter1; filter2] |> combineN (fun f -> f 1 2 3) |> printfn "%b" 
//mix functions with different arguments, doesnt compile either 
[filter1; filter3] |> combineN (fun f -> f 1 2 3) |> printfn "%b" 

看到演示