3

不完全确定标题描述它没问题，但我确实有以下代码：

paket.依赖项：

source https://www.nuget.org/api/v2
nuget fsharpx.extras
nuget mongodb.driver

一些.fsx：

#r @".\packages\MongoDB.Bson\lib\net45\MongoDB.Bson.dll"
#r @".\packages\MongoDB.Driver\lib\net45\MongoDB.Driver.dll"
#r @".\packages\MongoDB.Driver.Core\lib\net45\MongoDB.Driver.Core.dll"

#r @".\packages\FSharpX.Extras\lib\net45\FSharpX.Extras.dll"


open MongoDB
open MongoDB.Driver
open MongoDB.Bson 
open MongoDB.Bson.Serialization

open FSharpx.Choice

let private createClient (connectString:string) = MongoClient(connectString)
let CreateClient = protect createClient

let private getDb name (client:IMongoClient) = client.GetDatabase(name)
let GetDB1 name client =
    choose {
        let! c = client
        return! (protect (getDb name) c)
    }

let GetDB2 name (client:Choice<IMongoClient, exn>) =
    protect (getDb name)
    <!> client

这个“练习”的重点是编写 GetDB2，使其与 GetDB1 一样，但使用运算符（应用程序？），但我目前无法转过头来管理它。

上面的代码可以编译，但是GetDB1和GetDB2的签名不相等，我显然做的不对。

val GetDB1 :
  name:string ->
    client:Choice<#MongoDB.Driver.IMongoClient,exn> ->
      Choice<MongoDB.Driver.IMongoDatabase,exn>

val GetDB2 :
  name:string ->
    client:Choice<MongoDB.Driver.IMongoClient,exn> ->
      Choice<Choice<MongoDB.Driver.IMongoDatabase,exn>,exn>

我已经在 GetDB2 中尝试了几个版本和命令，但我或多或少总是以与上面相同的签名结束。

我最初的总体想法是编写小函数来做他们应该做的事情，然后添加异常处理（protect），然后相应地“包装”和“解包”。

当然，这也可能不是完全正确的想法。

有人可以在这里为我指明一些方向以进行进一步的研究、代码示例或其他任何东西吗？实际上，此时欢迎任何类型的任何评论；-)

FSharpx 文档

附录

我认为以下应该与上面大致相同，但没有 mongodb 依赖项。

#r @".\packages\FSharpX.Extras\lib\net45\FSharpX.Extras.dll"

type DataBase = 
    {
        Name: string
    }

type Client = 
    {
        connectString: string
    } with member this.GetDatabase name = {
                        Name = name
                    }

open FSharpx.Choice
let private createClient (connectString:string) = {
  connectString= connectString
}

let CreateClient = protect createClient

let private getDb name (client:Client) = client.GetDatabase name

let GetDB1 name client =
    choose {
        let! c = client
        return! (protect (getDb name) c)
    }

let GetDB2 name client =
    protect (getDb name)
    <!> client
4

1 回答 1

6

您在这里得到了类型的复合，因为您使用了<!>运算符，即map. 这是这样定义的：

let map f = function
    | Choice1Of2 value = Choice1Of2 (f value)
    | Choice2Of2 fail  = Choice2Of2 fail

这具有签名('T -> 'U) -> Choice<'T,'Failure> -> Choice<'U,'Failure>，即该函数f用作类型内的映射choice。例如：

map (sprintf "%d")

有类型Choice<int, 'Failure> -> Choice<string, 'Failure>。这对于应用不使用该Choice类型的函数很有用——只有一个可能的故障点，并且发生在调用map.

然而，你的下一个函数会产生一个Choice类型，但它需要一个非Choice类型。这意味着您希望错误传播 - 如果值中有错误，则选择它。如果值很好，但函数中有错误，则使用它。如果一切顺利，请使用它。这要求两种错误类型相同，对您来说它们是 ( exn)。

这是描述bind操作，定义如下：

let bind f = function
    | Choice1Of2 value = f value
    | Choice2Of2 fail  = Choice2Of2 fail

带签名('T -> Choice<'U,'Failure>) -> Choice<'T,'Failure> -> Choice<'U,'Failure>。

请注意，bind它与 非常相似map，只是后者将结果提升为Choice1Of2- 映射函数总是成功的。

在 FSharpX 中，您可以bind通过-like |>operator>>=或-like <|operator访问<<=。

最后，protect这是一种将抛出的异常捕获到Choice2Of2 exn. 类似于map传递的函数是类型的'T -> 'U，但是函数也可以抛出异常并且传递的类型不是a Choice。 protect定义如下：

let protect f x =
    try
        Choice1Of2 (f x)
    with
        exn -> Choice2Of2 exn

所以它的签名是('T -> 'U) -> 'T -> Choice<'U, exn>.

有关如何实现所有内容的更多信息，请参阅此计算表达式的来源。

综上所述，我们可以看到您的示例出错的原因。

  • getDb name是一个函数Client -> DataBase
  • protect (getDb name)是一个函数Client -> Choice<DataBase, exn>
  • map (protect (getDb name))因此 是 一个 函数Choice<Client, exn> -> Choice<Choice<DataBase, exn>, 'Failure>, 因为map工作 在 里面Choice.

但是，您想要的是

let GetDB name client =
    bind (protect (getDb name)) client

或以运算符形式，

let GetDB name client = client >>= protect (getDb name)

一般来说，如果你的映射函数有'T -> 'U你想要的签名map。如果有'T -> Choice<'U, 'Failure>，你想要bind。

于 2016-11-18T22:27:30.793 回答