Получите значение поля из цитаты и введите его тип

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 и получить Jon как string (не obj). Как мне это сделать? Иногда возвращаемое значение может быть Array или другое Record.

Заранее благодарен!

Update:

Я буду использовать эту функцию по краям F # поэтому необходимо проверить null:

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 всегда будет возвращать значение правильного типа (если в нем нет ошибки).