modèle correspondant à une union discriminée

Question

est-il un moyen de correspondance de motif sur les fonctions syndicales discriminés, par exemple: -

type Test = 
    | A of string 
    | B of int 
    | C of char 

let DefaultTest t = 
    match t with 
    | A(_) -> A(null) 
    | B(_) -> B(0) 
    | C(_) -> C('\u0000') 

let a = A |> DefaultTest 

Il est évident que ce code n'est pas valide F # comme DefaultTest accepte un paramètre de test de type plutôt que ' a -> Test. Y a-t-il un moyen d'atteindre ce sans en spécifiant une valeur pour l'union discriminée? En fin de compte, ce qui m'intéresse, c'est une fonction qui entre une fonction de type 'a -> Test et sorties Test (valeur par défaut' a).

Answer 1

Je ne comprends pas ce que vous êtes après, mais cela aide-t-il?

type Foo = 
    | A of int 
    | B of string 

let CallWithDefault f = 
    let x = Unchecked.defaultof<_> 
    f x 

let defaultA = CallWithDefault A  
let defaultB = CallWithDefault B  
printfn "(%A) (%A)" defaultA defaultB 

Answer 2

Cela pourrait éventuellement fonctionner lorsque tous les constructeurs avaient le même type d'argument, disons int. Ensuite, on pourrait

match de t 0 de
| A 0 -> ...
| B 0 -> ...

Answer 3

Je ne sais pas ce que vous êtes après, mais quelque chose comme:

let DefaultTest (t :obj) = 
    match t with 
    | :? (string->Test) as a -> Some (a null) 
    | :? (int -> Test) as b -> Some (b 0) 
    | :? (char -> Test) as c -> Some (c '\u0000') 
    | _ -> Option.None 

peut travailler pour vous ...