我试图从Suave.io为简单的F#项目编译这个例子: http://suave.io/
open Suave.Http.Applicatives
open Suave.Http.Successful
open Suave.Web
open Suave.Types
open Suave.Model
let greetings q =
defaultArg (q ^^ "name") "World" |> sprintf "Hello %s"
let sample : WebPart =
path "/hello" >>= choose [
GET >>= request(fun r -> OK <| greetings (query r))
POST >>= request(fun r -> OK <| greetings (form r))
NOT_FOUND "Found no handlers" ]
不幸的是我在(查询r)部分遇到编译器错误:
error FS0001: Expecting a type supporting the operator '^^' but given a function type. You may be missing an argument to a function.
我试图将编译器错误缩小到几个简单的行,现在有了这个:
let greetings q =
defaultArg (q ^^ "name") "World" |> sprintf "Hello %s"
let q (rqst : string) = query rqst
let t = greetings q
现在在问候q行上得到相同的编译器错误。 我上面例子中的类型是:
query:
string -> (string -> Choice<'T,string>) -> HttpRequest -> Choice<'T,string>
greetings:
(string -> (string -> Choice<obj,string>) -> HttpRequest -> Choice<obj, string>) -> string
q:
string -> ((string -> Choice<'a, string>) -> HttpRequest -> Choice<'a, string>)
所以,我的类型并不匹配,但我不太确定如何让这些匹配。
示例是否过时了? 我有什么想法可以让这个例子编译并运行吗?
我正在运行Visual Studio 2015的RC版本
由于
答案 0 :(得分:4)
我对Suave.IO并不熟悉,但是看看他们的源代码,它确实看起来像一个不再有效的旧示例代码。 query
函数的定义如下:
let query queryKey f (req : HttpRequest) =
req.queryParam queryKey
|> Choice.from_option (sprintf "Missing query string key '%s'" queryKey)
|> Choice.bind f
注意三个参数 - 你只传递请求,所以返回值不是值(或集合),它是一个带有两个参数的函数。
另一方面,运算符^^
用于按键从集合中检索值。
通过历史记录,确实这似乎是一种过时且实际上破坏的检索查询参数集合的方式。现在正确的方式似乎是这样的:
GET >>= request(fun r -> OK <| greetings r.query)
POST >>= request(fun r -> OK <| greetings r.form)