Проверка структуры котировки во время компиляции

Question

Могу ли я определить параметр выражения цитаты таким образом, чтобы не только результирующий тип выражения проверял время компиляции , но и выражение сайта вызова.

позволяет увидеть пример:

type A = { 
    a : int 
} 

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

Следующим очевидно типа проверки

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

В результате в реальном выражении, аналогичном PropertyGet(..., PropertyGet (....), a).

А теперь какой-то другой способ

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

Следующая также компилирует

Checker.Check <@ getInt a @> 

Однако, как можно предотвратить, что второй пример компилируется и разрешить только для PropertyGet с? (как пример).
Я знаю, что могу проверить структуру выражения во время выполнения - но мне нравится иметь проверку времени компиляции.

Answer 1

Как отметил Федор в комментарии, невозможно обеспечить, чтобы котировки были только определенной формы во время компиляции. Это довольно неудачно, но все эти библиотеки, основанные на котировках (или на основе выражений), страдают от этого (в первую очередь LINQ), и если ваше требование - «только свойство-getters», то я полагаю, вы можете просто оставить это как проверку времени выполнения ,

Если бы я действительно хотел это гарантировать, я бы, вероятно, попытался использовать F# Compiler Service, что позволит вам получить typed expression tree. Затем вы можете пройтись по дереву и найти все цитаты в проекте и сообщить об ошибках (это можно сделать каким-то расширяемым способом как плагин linter, который другие могут извлечь из этого).

Если вы пошли в направлении DSL, то вы могли бы написать, скажем, a |> get "foo" |> get "bar" (с помощью трубы), или a?foo?bar (с помощью оператора ?), но тогда вы потеряете проверки на имена, которые, кажется, хуже, чем не будучи в состоянии проверить правильную форму цитаты.