F # quotations object graph

Question

En C# podría crear una representación de cadena de un gráfico de objeto bastante fácilmente con árboles de expresión.

public static string GetGraph<TModel, T>(TModel model, Expression<Func<TModel, T>> action) where TModel : class 
{ 
      var method = action.Body as MethodCallExpression; 
      var body = method != null ? method.Object != null ? method.Object as MemberExpression : method.Arguments.Any() ? method.Arguments.First() as MemberExpression : null : action.Body as MemberExpression; 
      if (body != null) 
      { 
       string graph = GetObjectGraph(body, typeof(TModel)) 
       return graph; 
      } 
      throw new Exception("Could not create object graph"); 
} 

In F # He estado buscando en Citas para intentar hacer lo mismo, y no puedo entenderlo. Intenté convertir la cita en una Expresión utilizando las bibliotecas PowerPack, pero hasta ahora no he tenido suerte, y la información en Internet parece bastante escasa en este tema.

Si la entrada es:

let result = getGraph myObject <@ myObject.MyProperty @> 

la salida debe ser "myObject.myProperty"

Answer 1

Usted puede ver lo que se obtiene de la expresión cita en sesión FSI:

> let v = "abc" 
> <@ v.Length @>;; 
val it : Expr<int> 
= PropGet (Some (PropGet (None, System.String v, [])), Int32 Length, []) 

> <@ "abc".Length @>;; 
val it : Expr<int> 
= PropGet (Some (Value ("abc")), Int32 Length, []) 

Usted puede encontrar la descripción de todos los patrones activos disponibles para analizar las cotizaciones en

manual de \ FSharp.Core \ Microsoft.FSharp.Quotations.Patterns.html

bajo el directorio de instalación de F # o al msdn site

Hay un bonito libro de Chris Smith "Programación F #" con el capítulo llamado "Citas" :)

Así que, después de todo, sólo trato de escribir analizador simple:

open Microsoft.FSharp.Quotations 
open Microsoft.FSharp.Quotations.Patterns 
open Microsoft.FSharp.Quotations.DerivedPatterns 

let rec getGraph (expr: Expr) = 
    let parse args = 
    List.fold_left (fun acc v -> acc^(if acc.Length > 0 then "," else "")^getGraph v) "" args 
    let descr s = function 
    | Some v -> "(* instance "^s^"*) "^getGraph v 
    | _ -> "(* static "^s^"*)" 
    match expr with 
    | Int32 i -> string i 
    | String s -> sprintf "\"%s\"" s 
    | Value (o,t) -> sprintf "%A" o 
    | Call (e, methodInfo, av) -> 
    sprintf "%s.%s(%s)" (descr "method" e) methodInfo.Name (parse av) 
    | PropGet(e, methodInfo, av) -> 
    sprintf "%s.%s(%s)" (descr "property" e) methodInfo.Name (parse av) 
    | _ -> failwithf "I'm don't understand such expression's form yet: %A" expr 

PS Y, por supuesto, necesitará algún código para traducir AST a un formato legible por humanos.

Answer 2

estoy seguro de lo que el estado de cosas fue cuando se hizo esta pregunta, pero hoy se puede convertir un F # Cotización a una expresión utilizando el PowerPack así:

<@ "asdf".Length @>.ToLinqExpression() 

Además, he estado desarrollando una biblioteca Unquote que puede descompilar muchas citas de F # en el código de sintaxis de F-line de una sola línea no iluminada. Se puede manejar fácilmente expresiones ejemplo PropertyGet simples como su entrada/salida requerida:

> decompile <@ "asdf".Length @>;; 
val it : string = ""asdf".Length" 

Ver mi answer a una pregunta similar para obtener más información o simplemente visitar la página principal del Fin de la cita.