Haskell中：讀取和類型簽名

Question

read在前奏定義爲

read :: (Read a) => String -> a 

和可被用作例如read "1" :: Int。

現在的功能

readOne :: (Read a) => [String] -> (a, [String]) 
readOne (x:xs) = (read x,xs) 

與readOne ["1","foo"]結果（如預期）錯誤

Ambiguous type variable 'a' in the constraint:
'Read a' arising from a use of 'readOne' at :1:0-18
Probable fix: add a type signature that fixes these type variable(s)

但readOne ["1","foo"] :: Int不工作使用，而

readOneInt :: [String] -> (Int, [String]) 
readOneInt = readOne 

作品就好：

> readOneInt ["1", "foo"] 
(1,["foo"]) 

所以：我怎麼可以添加一個類型簽名readOne沒有定義像readOneInt新功能？

Answer 1

readOne ["1","foo"] :: Int不起作用，因爲readOne不可能返回Int，它總是返回一個元組，第二個元素是[String]。 readOne ["1", "foo"] :: (Int, [String])將工作。

請注意，只有在無法推斷的情況下才需要指定類型。如果在Int需要使用readOne的情況下，可以使用readOne而不使用類型註釋。例如：

let inc (i, strs) = (i + 1, strs) in 
inc (readOne ["1", "foo"]) 
-- (2, ["foo"])