我正在做一个附带项目,我是第一次使用 Hopac。我遇到了一个奇怪的(对我来说)编译问题,我无法理解。我怀疑我是这里的问题,而不是 Hopac。
该程序应该是一个简单的控制台应用程序,它使用来自各种服务的通知。这是有问题的模块:
module Provider
open System
open System.IO
open Hopac
open BitThicket.NotificationHelper.Core
open BitThicket.NotificationHelper.Providers
let defaultProviderTypes =
[| typeof<GitHub.GitHubNotificationProvider> |]
type Provider = {
getCh : Ch<Providers.INotification seq>
}
let giveLatest ch latest =
Ch.give
let start config logger (providerType:Type) = Job.delay <| fun () ->
let providerImpl = Activator.CreateInstance(providerType) :?> Providers.INotificationProvider
let p = { getCh = Ch() }
let rec server =
let latest = providerImpl.GetLatestNotificationsAsync(None) |> Job.fromAsync
latest >>= Ch.give p.getCh // error here
}
Job.start server
在这种情况下,编译器会抱怨:Expecting a type supporting the operator '>>=' but given a function type. You may be missing an argument to a function.
同样,如果我使用稍微不同的语法:
// ...
let rec server =
let latest = providerImpl.GetLatestNotificationsAsync(None) |> Job.fromAsync
latest >>= fun l -> Ch.give p.getCh l // error here
// ...
在这种情况下,错误是:This function takes too many arguments, or is used in a context where a function is not expected.
我问 haf 关于他的松弛,他的建议是检查>>=
. 该工具并没有真正帮助我解决这个问题,但我打开的唯一定义的命名空间/模块>>=
是Hopac
(BitThicket
那些只是简单的命名空间,其中包含一些类型定义)。
我在这里做错了什么?