第一個Haskell程序

Question

我在Haskell中編寫了一些代碼來學習haskell。它看起來像：

first :: [Int] -> Int -> Int 
first [] x  = x 
first xs y  = y 

我想表達的，我得到一個列表（[]或XS）和自變量（X或Y），也不管名單看起來怎麼樣，爭論應該呈現。

所以，當我寫了以下內容：第一[1,2,3] 4，然後ghci的說：

Couldnt match expected type ´a0 -> t´ wth actual type ´[t0]´. Relevant bindings  
include it :: t(boudn at <>:6:1)but its type ´[t 0]´ has none 
In the expression : [1,2,3] 4 
In an equation for ´it´: it = [1,2,3] 4 

我怎樣才能解決這個問題？我犯了什麼錯誤？有人能幫我嗎？

Answer 1

它看起來像你使用[1,2,3,4] 4而不是first [1,2,3,4] 4。

> [1,2,3,4] 4 

<interactive>:1:0: 
    Couldn't match expected type `t1 -> t' against inferred type `[a]' 
    In the expression: [1, 2, 3, 4] 4 
    In the definition of `it': it = [1, 2, 3, 4] 4 

---

順便說一句，你的first定義是一樣的以下內容：

first :: [Int] -> Int -> Int 
first _ x  = x 

這意味着不管第一個參數是什麼，始終返回第二個參數。