составление множества цитат в запросы linq - PullRequest
Новая
       11

составление множества цитат в запросы linq

3 голосов
/ 10 февраля 2011

Я работаю над проектом, в котором я пытаюсь использовать F # и Linq для пользовательских функций и хранимых процедур на сервере SQL.Часть этого состояла в том, чтобы статически определить все действительные запросы, критерии сортировки и средства оценки результатов запросов.

До сих пор я был довольно успешным, но столкнулся с серьезнымсложность составления выражений sortBy.

Вот базовая концепция 

let sorter =
    let exprMap:Map<string,Quotations.Expr<seq<Product> -> seq<Product>>> =
    Map.ofList
    ["ProductName",<@ Seq.sortBy (fun prod -> prod.Name) @> ]
    // .. more entries ..
    let sortBuilder sortkeys = 
        Array.foldBack 
         (fun criteria acc -> <@ %(exprMap.[criteria]) >> (%acc) @>)
         sortkeys
         <@ Seq.map id @>

Это в конечном итоге будет использовано позже в исполнителе запросов, например: 

let execQuery = fun (predicates,sorts,scorer) ->
    <@ seq { for prod in (%dc).Products do
              if (%predicates) prod then yield prod }
       |> (%sorts)
       |> (%scorer) @>

Используя эти основные схемывсе работает, пока я не пользуюсь (% sorts).Каждый раз, когда я передаю это, меня не узнают в F # переводчику Linq.Я пробовал несколько разных попыток использования комбинаторов, но у меня есть ощущение, что я что-то упустил.Если я отключу функцию сортировки со следующим 

<@ Seq.sortBy (fun prod -> prod.Name) |> Seq.sortBy (fun prod -> prod.Style) @>

, она будет работать, как и ожидалось.Однако использование комбинатора, как это: 

let (|>*) = fun f g -> <@ fun c -> ((%f) c) |> (%g) @>

не ..

Есть идеи?

1 Ответ

1 голос
/ 10 февраля 2011

К сожалению, у меня нет хорошего ответа на этот вопрос.

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

Например, с вашим сортировщиком вам может понадобиться что-то вроде (я не пробовал, но я думаю, что это должно дать точно такую ​​же цитату, как и обычный код, который работает): 

let (|>*) f g = fun c -> <@ (%c) |> (%f) |> (%g) @> 

<@ seq { for prod in (%dc).Products do 
           if (%predicates) prod then yield prod } @> |>
( <@ Seq.sortBy (fun prod -> prod.Name) @> |>*
  <@ Seq.sortBy (fun prod -> prod.Style) @> )

Проблема в том, что если вы включите лямбда-функции в цитату, транслятор F # должен с ними справиться - возможно, путем их частичной оценки (поскольку в противном случае транслятор LINQ to SQL потерпит неудачу). В этом есть немало хитрых дел ...

Однако команда F # в последнее время делает некоторые улучшения в этой области. Я думаю, что лучшее, что можно сделать, - это найти простой случай воспроизведения и отправить его по адресу fsbugs в microsoft dot com . Релизы PowerPack не настолько «чувствительны», поэтому вы можете получить исходный код с последними изменениями, если попросите и предложите помощь с тестированием (но без обещаний).

...