F # lambda를 사용하여 Linq 표현식 트리를 어떻게 만듭니 까?

Question

다음은 C#으로 수행 할 수있는 작업 -

var two = 2; 
System.Linq.Expressions.Expression<System.Func<int, int>> expr = x => x * two; 
expr.Compile().Invoke(4); // returns 8 

내가 F 번호의 정확한 동등을하고 싶습니다.

let two = 2 
let expr = (fun x -> x * two) : System.Linq.Expressions.Expression<System.Func<int, int>> 
expr.Compile().Invoke(4) // desired to return 8 

을 아마도 예상, 컴파일 다음과 같은 오류와 함께 라인이 실패 - - 당신이 F 번호 견적을 사용하지 않도록하려는 이유를 잘 모르겠어요

"This function takes too many arguments, or is used in a context where a function is not expected." 
let expr = (fun x -> x * two) : System.Linq.Expressions.Expression<System.Func<int, int>> 
      ^^^^^^^^^^^^^^^^ 

Answer 1

여기에 내가했지만, 컴파일되지 않은 것입니다 - 커버 아래에, 그들은 C# expression tree와 거의 똑같습니다. F #에서 expression tree를 만들고 싶다면, 컴파일러는 어떤 경우에도 커버 아래의 인용문을 사용하게됩니다 ...

어쨌든, 당신은 명시 적으로 작성하지 않고도이 작업을 수행 할 수 있습니다.왜냐하면 컴파일러는 함수에 인수로 전달 될 때 자동으로 함수를 인용 할 수 있기 때문입니다. 그래서 당신은 할 수 있습니다 :

type Expr = 
    static member Quote(e:Expression<System.Func<int, int>>) = e 

let two = 2 
let expr = Expr.Quote(fun x -> x * two) 
expr.Compile().Invoke(4) // desired to return 8 

편집 : 그러나,이 정말 C#을 식 트리로 변환 호출에 싸서 F 번호 인용에 컴파일합니다. 따라서 결국 쓴 것처럼 똑같은 결과를 얻게됩니다.

open Microsoft.FSharp.Linq.RuntimeHelpers 

let two = 2 
let expr = 
    <@ System.Func<_, _>(fun x -> x * two) @> 
    |> LeafExpressionConverter.QuotationToExpression 
    |> unbox<Expression<Func<int, int>>> 
expr.Compile().Invoke(4) // desired to return 8