輸出元組在Haskell中的功能如何？

Question

我試圖找出元組在Haskell中如何工作，以及如何從元組中獲取某些數據值。

我有以下代碼，這運行正常，並打印出我期望的元組輸出：

test :: Integer -> (Integer, Integer)
test c =  function(1, c)

但是，當我嘗試從元組中獲取第一個值時，如下所示，

test :: Integer -> Integer
test c = fst function(1, c)

我收到以下錯誤

• 無法匹配預期類型'（（整數，整數） - >整數，b0）'與實際類型'（整數，整數） - >（整數，整數）'

任何幫助或建議將不勝感激。 提前致謝。

Answer 1

你只是弄錯了語法。

fx表示“ 將（調用）函數f應用於參數x ”。

類似地， fxy表示“將函數f應用於參數x和y ”。

您的示例function(1, c)表示“ 將函數function應用於參數(1, c) ”。 不要讓開頭之前沒有空格讓你愚弄： (1, c)並不意味着“ 用兩個參數調用函數 ”（就像在C或Java中那樣），它意味着“ 做一對有兩個組成部分， 1和c “。 然后將該對用作function的單個參數。

現在，下一個表達式， fst function (1, c)意味着“ 將函數fst應用於兩個參數 - function和(1, c) ”。 這顯然不是你的意思。 相反，你打算先用參數(1, c)調用function ，然后將結果作為參數傳遞給fst 。 要表達這一點，您可以使用括號：

test c = fst (function (1, c))

但當然現在這個括號太多了。 為避免額外的對，您可以使用無處不在的運算符$ ：

test c = fst $ function (1, c)

這個運算符並沒有真正做任何有趣的事情，它只是將左邊的函數應用到右邊的參數：

f $ x = f x

此運算符的值是，它使函數應用程序不具有最高優先級，從而省去了額外的括號。