如何理解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 ，然后由響應進行后處理。