Question

在F＃monad中，如果你说let!，编译器会将其转换为你在monad构建器上定义的Bind成员。

现在我看到有一个查询monad，如shown here on 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()方法？

Answer 1

在F＃2.0（即Visual Studio 2010）中，无法扩展关键字列表（Ramon的扩展名除外）。但是，F＃3.0（Visual Sutdio 11）中的查询机制是可扩展的，您可以定义自己的关键字，类似于select和count。

以下是使用seq关键字定义类似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 }

Answer 2

简答：不。

我已经扩展了编译器以支持它，欢迎您阅读我的博客文章http://ramon.org.il/wp/2011/04/taking-computation-expressions-one-step-further/

F＃：有没有办法扩展monad关键字列表？

2 个答案: