見積もりからフィールド値を取得し、その型にキャスト

Question

Quotationのレコードからフィールドの型付き値を取得したいとします。それはまっすぐ進むべきであるように思われるが、私は少し失われている。

例えば、

type FullName = { First : string; Last : string } 

type Name = { Name : FullName } 

let t = { Name = { First = "Jon"; Last = "N" } } 

let name = <@ t.Name.First @> 

その後、私は値nameを取り、string（ないobj）としてJonを取得したいと思います。どうすればいい？戻り値はArrayまたは別のRecordになることがあります。

ありがとうございます！

更新：

それはnullのためにチェックする必要があるので、私は、F＃の縁でこの機能を使用することがあります：

let getValue (expr: Quotations.Expr<'t>) = 
    match eval expr with 
    | null -> None 
    | x -> Some ((eval expr) :?> 't) 

Answer 1

あなたがリンクされeval scriptが半分の方法がありますを取得します - あなたのために表現の実際の値を計算します。今やって残っているすべては、適切な型にその値をキャストすることです。覚えておいてください

let getValue (expr: Quotations.Expr<'t>) = (eval expr) :?> 't 

let valueOfName = getValue name // valueOfName : string 

が は、理論的にキャストがクラッシュすることがあることが、 evalは常に戻ってくるので、実際にはそれが、起こるべきではありません（バグがない限り）正しい型の値。