はfsharpのtypeofと一致します

Question

最初の一致は機能しますが、2番目の一致は機能しません。 if/elifのチェーンを使う以外に、変数を宣言することなく一致させる方法はありますか？

（私は変数tと一致している間、私は、値のelemを使用することに注意してください）

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

Answer 1

あなたの最初のパターンは、実際にtypeof<string>と一致していません。これは、tをシャドウする新しい値tにpropTypeをバインドします。これはtypeof<string>に等しくなります。

typeof<string>はリテラルではないため、2番目のパターンはうまく機能しません（例では冗長パターンですが）。あなたは次のようにwhenガードを使用する必要があります。

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

Answer 2

あなたは値の型にマッチしようとしている場合は、あなたが使用することができますか？オペレータ

例：

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