Check Code Quotation Struktur während der Kompilierung

Question

kann ich einen Zitat Ausdruck Parameter definieren, so dass nicht nur der resultierende Typ des Ausdrucks ist kompiliert Zeit sondern auch die Call-Site-Ausdruck.

lässt ein Beispiel sehen:

type A = { 
    a : int 
} 

type Checker() = 
    static member Check(e : Expr<int>) : ResultType = ... 

Die folgenden offensichtlich

let a = { a = 1 } 
Checker.Check <@ a.a @> 

Resultierende in einem tatsächlichen Ausdruck ähnlich PropertyGet(..., PropertyGet (....), a) der Eingabe überprüfen.

Und nun eine andere Art und Weise

let getInt (a:A) : int = a.a 

Nachfolgend stellt auch

Checker.Check <@ getInt a @> 

Doch wie kann ich verhindern, dass zweites Beispiel kompiliert und nur für PropertyGet s erlauben? (nur als ein Beispiel).
Ich weiß, ich kann die Struktur des Ausdrucks zur Laufzeit überprüfen - aber ich möchte eine Kompilierzeit überprüfen.

Answer 1

Wie Fjodor in einem Kommentar gesagt hat, gibt es keine Möglichkeit sicherzustellen, dass Zitate zur Kompilierungszeit nur eine bestimmte Form haben. Das ist sehr bedauerlich, aber alle zitatbasierten (oder ausdrucksbaumbasierten) Bibliotheken leiden darunter (vor allem LINQ) und wenn Ihre Anforderung "nur Eigenschaften-Getters" ist, dann nehme ich an, dass Sie dies wahrscheinlich als eine Laufzeitprüfung belassen können .

Wenn ich das wirklich garantieren wollte, würde ich wahrscheinlich versuchen, die F# Compiler Service zu verwenden, die Sie typed expression tree erhalten können. Sie könnten dann über den Baum gehen und alle Zitate im Projekt finden und die Fehler melden (es könnte in erweiterbarer Weise als ein Linter-Plugin ausgeführt werden, von dem auch andere profitieren könnten).

Wenn Sie in der DSL Richtung ging, schreiben Sie könnten dann sagen, a |> get "foo" |> get "bar" (mit Rohr) oder a?foo?bar (mit dem ? Operator), aber dann auf den Namen, die Sie verlieren Kontrolle, die als nicht schlechter zu sein scheint in der Lage sein, die korrekte Form eines Angebots zu überprüfen.