haskell - 如何理解 Haskell 函数参数

Question

在下面的函数定义中:

app :: Application
app _ respond = do
    putStrLn "I've done some IO here"
    respond $ responseLBS
        status200
        [("Content-Type", "text/plain")]
        "Hello, Web!"

您好，app 函数似乎不接受参数。为什么在上面的例子中有两个参数？

Answer 1

Application是一个类型同义词。定义为:

<b>type</b> Application = Request -> (Response -> IO ResponseReceived) -> IO ResponseReceived

因此，它是一个接受 Request 的函数，以及一个将 Response 映射到 IO ResponseReceived 的函数，然后产生一个IO 响应接收。通常此类函数会产生一个 Response，然后由响应进行后处理。