Jaki jest najbardziej aktualny sposób na kompilację cytatów kodu w F #

Question

Buduję symboliczny silnik pochodnej. Na przykład

let f = <@ fun x:double -> x * x @> 
let df = der f 

i wywołana przez nią ekspresja będzie

<@ 2 * x @> 

rzeczywiste równanie może być dowolnie skomplikowany.

Tworzenie pochodnych nie są zbyt trudne przy użyciu rekurencyjnego dopasowanie wzoru i transformacje, ale w końcu chcę użyć wygenerowanych równań w ciasnych pętli liczbowych jakbym miał je ręcznie napisane. Jest to kod numeryczny computing więc szybciej jest zawsze lepiej (jeśli to możliwe)

Szukałem na notowania kompilatora FSharpX ale wygląda tłumacza zamiast kompilatora.

Answer 1

Nie testowałem tego, ale kod, który tłumaczy cytaty F # do wyrażeń LINQ (i kompiluje je) został przeniesiony z F # PowerPack do biblioteki F # Core, więc uważam, że jest to najbardziej aktualna wersja :

open Microsoft.FSharp.Linq.RuntimeHelpers 

LeafExpressionConverter.EvaluateQuotation <@ 1 + 2 @> 

i użyć go do lambda

let d=LeafExpressionConverter.EvaluateQuotation <@ fun y -> y+1.0 @> 
    :?> (double -> double) 

Console.WriteLine(d 10) 

wyjścia

11 

Odnotuj rzutowanie na końcu, aby przekształcić '' obj '' w lambdę odpowiedniego typu.