了解Haskell中的類型

Question

我得到以下內容：

data Card = Card Suit Rank
  deriving (Eq, Ord, Show)

type BidFunc
  = Card    -- ^ trump card
  -> [Card] -- ^ list of cards in the player's hand
  -> Int    -- ^ number of players
  -> [Int]  -- ^ bids so far
  -> Int    -- ^ the number of tricks the player intends to win

我需要在其中編寫函數的地方

makeBid :: BidFunc
makeBid = (write here)

我遇到的問題是我無法理解所聲明的函數類型BidFunc的語法。 我是Haskell的新手，所以如果有人可以對上述函數類型給我一個足夠清晰的解釋，我將不勝感激。

特別是為什么會有'='卡，然后是-> [Card]等？ 我應該將參數傳遞給函數類型嗎？

Answer 1

makeBid :: BidFunc是完全一樣的makeBid :: Car -> [Card] -> Int -> [Int] -> Int ，所以你會在完全相同的方式定義函數：

makeBid :: BidFunc
-- makeBid :: Card -> [Card] -> Int -> [Int] -> Int
makeBid c cs n bs = ...

至於type定義的格式，僅此而已：格式。 海事組織，寫成

type BidFunc = Card   -- ...
            -> [Card]  -- ...
            -> Int    -- ...
            -> [Int]  -- ...
            -> Int    -- ...

如果要對每個參數和返回值進行注釋。 沒有注釋，它當然可以寫在一行上：

type BidFunc = Card -> [Card] -> Int -> [Int] -> Int

通常， type <lhs> = <rhs>僅表示<lhs>是可以引用<rhs>指定的任何類型的名稱。

---

至於為什么可能會覺得需要為不經常重復使用的東西定義類型別名的原因，我不能說。 除了makeBid ，它們是否還有其他具有相同類型的函數？