瞭解Haskell postgresql連接函數類型錯誤

Question

我是java程序員現在正在閱讀和學習haskell。我正在嘗試編寫一個簡單的程序，使用HDBC postgres驅動程序連接（並斷開連接）到postgres數據庫。爲了簡單起見，我沒有任何其他邏輯。

它正在拋出一個函數類型錯誤。我縮進代碼正確，如果我刪除斷開連接，然後它與定義的類型。

有人能說明我缺少什麼定義這個函數的類型嗎？我會提供你的幫助。

謝謝！

示例代碼：

import Database.HDBC 
import Database.HDBC.PostgreSQL 
import Database.HaskellDB 
import Database.HaskellDB.HDBC.PostgreSQL 

tryConnect :: Int -> (Database -> IO Connection) ->() 
tryConnect id = 
    do 
    c <- postgresqlConnect [("host","dbhost"),("dbname","db1"),("user","user1"),("password","test")] 
    disconnect c 
    return() 

我從GHCI

Couldn't match expected type `(Database -> IO Connection) -> a' 
     against inferred type `IO()' 
In a stmt of a 'do' expression: disconnect c 
In the expression: 
    do { c <- postgresqlConnect 
       [("host", "dbhost"), ("dbname", "db1"), ....]; 
     disconnect c; 
     return() } 
In the definition of `insrt': 
    insrt id 
      = do { c <- postgresqlConnect [("host", "dbhost"), ....]; 
        disconnect c; 
        return() } 

失敗，加載的模塊得到以下錯誤：無。

Answer 1

問題是您沒有提供足夠的參數給postgresqlConnect。它的類型簽名是[(String, String)] -> (Database -> m a) -> m a，但你只提供了第一個參數。給它postgresqlConnect它的第二個參數應該可以解決問題，並且您可以將類型聲明更改回Int -> IO()。

編輯：下面的答案是完全錯誤的。我的錯。

那麼，類型簽名是 tryConnect :: Int -> (Database -> IO Connection) ->()。通常這表示該函數需要 Int和 (Database -> IO Connection)並返回 ()，但是您在函數定義中提供的唯一參數是 id。因此，您實際上有一個函數，它需要一個 Int並返回一個新類型簽名爲 (Database -> IO Connection) ->()的函數。

這樣可以，但函數的主體不符合此簽名。 do表達式返回值IO()而不是預期的函數，因此編譯器得到的返回值與預期的不同。

因此，總結一下，似乎在類型簽名中有一個參數在實際函數中沒有使用。從類型簽名中刪除該功能，或者將功能更改爲 tryConnect id func = ...而不是 tryConnect id = ...。