coincide con typeof en fsharp

Question

El primer partido funciona, pero no el segundo. ¿Hay alguna manera de coincidir sin declarar variables, además de usar una cadena de if/elif?

(Nota que utilizo la elem valor, mientras que la variable t)

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

Answer 1

Su primer patrón realidad no coincide con typeof<string>. Vincula propType a un nuevo valor t sombreando el t anterior que es igual a typeof<string>.

Dado que typeof<string> no es un literal, el segundo patrón no funciona tan bien (aunque es un patrón redundante en su ejemplo). Usted tiene que utilizar when guardia de la siguiente manera:

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

Answer 2

Si usted está tratando de coincidir con el tipo de un valor, puede utilizar el:? operador

Ejemplo:

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