Come implementare argomenti variabili in F #

Question

Voglio implementare una funzione F # che può accettare 1 o 2 argomenti. Vorrei utilizzare la funzione in questo modo:

let foo = ... 
foo "a" 
foo "a" "b" 

Entrambi gli argomenti possono essere dello stesso tipo. Ho letto le pagine sul modello di partita , attivo, ma non riesco a trovarne uno funziona per me.

Answer 1

In aggiunta alle altre risposte, potresti anche essere in grado di fare ciò che vuoi tramite applicazione parziale e currying. Come questo:

let foo a b = 
    a + b 

let foo2 a = 
    foo 1 a;; 

Ovviamente ci si vuole fissare il primo parametro nella chiamata a foo entro foo2 a tutto ciò che di default che si desidera.

Answer 2

Credo che questo sia dovuto ad alcune delle funzionalità di .NET sottostanti, ma io penso che si debba usare una classe con metodi di overload - qualcosa come

type t() = 
    static member foo a = "one arg" 
    static member foo (a,b) = "two args" 

Answer 3

Su un membro di tipo, è possibile utilizzare params opzionali :

type Helper private() = 
    static member foo (input1, ?input2) = 
      let input2 = defaultArg input2 "b" 
      input1, input2 

Per chiamare questo metodo:

Helper.foo("a") 
Helper.foo("a", "b") 

E 'questo quello che stai cercando?

Purtroppo non è possibile utilizzare parametri opzionali su una funzione.

Answer 4

In aggiunta alle altre risposte, eccone alcune "quasi soluzioni". Non sono esattamente ciò che volevi, ma vale comunque la pena di saperlo.

Usando una lista (o un array) e pattern matching:

let f = function 
    | [a, b] -> ... 
    | [a] -> ... 
    | [] -> failwith "too few arguments" 
    | _ -> failwith "too many arguments" 

f ["a"] 
f ["a" ; "b"] 

problemi: parametri non sono chiamati, non è chiaro da firma funzione del numero di parametri che ci vuole.

Utilizzando un record per passare tutti i parametri opzionali:

type FParams = { a : string; b : string } 
let fdefault = { a = "a" ; b = "b" } 

let f (pars: FParams) = ... 

f { fdefault with b = "c" } 

Problema: una è anche facoltativa, che non è quello che si voleva. Può essere utile però.