corrisponde a typeof in fsharp

Question

La prima partita funziona, ma non la seconda. C'è un modo per farlo senza dichiarare variabili, oltre ad usare una catena di if/elif?

(Si noti che io uso l'elem valore, mentre abbino la variabile t)

let t = typeof<string> 
    match propType with 
    | t    -> elem.GetValueAsString() :> obj 
    | typeof<string> -> elem.GetValueAsString() :> obj 

Answer 1

Il tuo primo modello in realtà non corrisponde typeof<string>. Lega lo propType a un nuovo valore t ombreggiato rispetto allo t precedente uguale a typeof<string>.

Poiché typeof<string> non è un valore letterale, il secondo modello non funziona altrettanto bene (sebbene sia un modello ridondante nell'esempio). Devi usare when guardia come segue:

match propType with 
    | t when t = typeof<string> -> elem.GetValueAsString() :> obj 
    | t -> elem.GetValueAsString() :> obj 

Answer 2

se si sta cercando di abbinare contro il tipo di un valore, è possibile utilizzare il:? operatore

Esempio:

let testMatch (toMatch:obj) = match toMatch with 
         | :? string as s -> s.Split([|';'|]).[0] 
         | :? int as i -> (i+1).ToString() 
         | _ -> String.Empty