F# - splat/解包参数列表

Question

F# 内置运算符/函数是否允许解包参数列表/元组并将其传递给函数调用？

用法示例:

// simple add function
let add (a1 : int) (a2 : int) (a3 : int) = a1 + a2 + a3

// what I want to achieve
let result = add (missing_operator)[1; 2; 3]

// or
let result' = add (missing_operator) (1, 2, 3)

// flattening list
let a = [1; 2; 3]
let b = [(missing_operator) a; 4; 5]

类似于 Python * 运算符

def add(a1, a2, a3):
   return a1 + a2 + a3

add(*[1,2,3])

或者 apply(func_name, args_list) 函数

apply(add, [1, 2, 3])

Answer 1

对于配对和三合会，有预定义的运算符 ||> , <|| , |||>和 <|||类似于 |>和 <|对于单个参数(单体):

let add a b c = a + b + c

add <||| (1, 2, 3)
(1, 2, 3) |||> add

您可以自己添加这样的运算符:

let (||||>) (a1, a2, a3, a4) func = func a1 a2 a3 a4

let foo u v x y = ( u + v ) * ( x + y )
(1, 2, 3, 4) ||||> foo

所有这些运算符也适用于非统一类型。

如果你想放弃类型安全，以下工作(对于非空参数):

let invokeWith args op =
    let func = op.GetType().GetMethod("Invoke", args |> Array.map(fun a -> a.GetType()))
    func.Invoke(op, args)

add |> invokeWith [|1; 2; 3|]

这也适用于非统一参数类型:

let pad (a : string) l = a.PadRight(l)
pad |> invokeWith [| "a"; 12 |]

当然，一旦你放弃静态类型检查，你就靠自己了:

// compiles but throws at runtime
pad |> invokeWith [| "a"; None |]

然而

// does not compile
// ( "a", None ) ||> pad