類型簽名缺少適當的綁定[Haskell]

Question

我一直在搜索，找到答案，甚至來到這裏提出的幾個問題。這似乎是一個模棱兩可的錯誤，我無法弄清楚在我的例子中如何解決它。

有問題的代碼如下：

pos :: (Eq a) => [a] -> a -> Int 
pos [] _ = -1 
pos (x:xs) y 
| not $ elem y (x:xs) = -1 
| x == y = 0 
| otherwise = 1 + pos xs y 

-- Get the same element from another range as one element of the first range. 
refPos :: (Eq a) => [a] -> [b] -> a -> b 
refPos r1 r2 e1 = r2 !! (r1 `pos` e1) 

letterNumber :: (Eq a, Char a) => a -> Int 
lettNumber x = refPos ['a'..'z'] [0..25] x 

確切的錯誤的文本是：

15：letterNumber 1所述的類型簽名缺少伴隨結合。

原來我放的類型簽名是Char-> Int，但那不起作用（它說了一些關於Eq的內容，但我也是新的，Haskell也正確地解釋它）。所以我改變了類型簽名以具有Eq類的約束。如果有人能指出什麼是錯誤的或解決方法，那將是非常感謝，因爲這是我正在開展的一個項目的門檻問題。

Answer 1

您提供了letterNumber的類型簽名，但隨後爲lettNumber提供了綁定。請注意缺失的er。

只需將lettNumber重命名爲letterNumber即可匹配類型簽名中的拼寫。

---

而且，letterNumber正確的類型簽名是

letterNumber :: Char -> Int