如何理解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是类型的同义词 。 它被定义为：

type Application = Request -> (Response -> IO ResponseReceived) -> IO ResponseReceived

因此，它是一个获取Request的函数，以及在IO ResponseReceived上映射Response的函数，然后生成IO ResponseReceived 。 通常，此类函数会生成Response ，然后由响应进行后处理。