Внутри монады F #, если вы скажете let!
, компилятор преобразует это в член Bind
, который вы определили в построителе монад.
Теперь я вижу, что есть монады запросов, как здесь, в MSDN , где вы можете сказать:
query {
for student in db.Student do
select student
count
}
и select
и count
, для Например, будет преобразован в члены QueryBuilder
Linq.QueryBuilder.Select и Linq.QueryBuilder.Count
.
У меня вопрос: это отображение ключевых слов на элементы встроено в компилятор F # или оно расширяемо? Например, могу я сказать что-то вроде:
FooMonadBuilder() {
bar
}
и каким-то образом сообщить компилятору F #, что bar
отображается на метод FooMonadBuilder.Bar ()
?
В F # 2.0 (то есть в Visual Studio 2010) нет способа расширить список ключевых слов (кроме расширения Рамона). Однако механизм запросов в F # 3.0 (Visual Sutdio 11) является расширяемым, и вы можете определить свои собственные ключевые слова, аналогичные select
и count
.
Вот базовый пример, который определяет что-то вроде seq
builder с ключевым словом reverse
:
type SeqBuilder() =
// Standard definition for 'for' and 'yield' in sequences
member x.For (source : seq<'T>, body : 'T -> seq<'R>) =
seq { for v in source do yield! body v }
member x.Yield item =
seq { yield item }
// Define an operation 'select' that performs projection
[<CustomOperation("select")>]
member x.Select (source : seq<'T>, [<ProjectionParameter>] f: 'T -> 'R) : seq<'R> =
Seq.map f source
// Defines an operation 'reverse' that reverses the sequence
[<CustomOperation("reverse", MaintainsVariableSpace = true)>]
member x.Expand (source : seq<'T>) =
List.ofSeq source |> List.rev
let mseq = SeqBuilder()
Подробности того, как это работает, пока не документированы, но атрибут CustomOperation
говорит, что операция должна рассматриваться как специальный синтаксис (вы можете установить различные свойства, чтобы указать, как она ведет себя - MaintainsVariableSpace
означает, что она не изменяет значения внутри последовательности). Атрибут Projectionparameter
указывает, что выражение, следующее за ключевым словом, должно быть неявно преобразовано в функцию.
Теперь построитель mseq
поддерживает и select
, и reverse
:
let q = mseq { for i in 1 .. 10 do
select (i + 100)
reverse }