為什么 6 / length [1, 2, 3] 在 Haskell 中不起作用

Question

有人可以向我解釋為什么6 / 3有效但6 / length [1, 2, 3]出錯了嗎？

這是 REPL 中的錯誤

<interactive>:20:1: error:
    • No instance for (Fractional Int) arising from a use of ‘/’
    • In the expression: 6 / length [1, 2, 3]
      In an equation for ‘it’: it = 6 / length [1, 2, 3]

Answer 1

(/)的類型為Fractional a => a -> a -> a ，因此它的每個 arguments 都必須是具有Fractional實例的某種類型的值。

6和3都是多態文字，類型為Num a => a 。 因此， 6/3具有類型Fractional a => a ，因為Fractional是Num的子類。

然而， length總是返回一個Int ，而Int沒有Fractional實例。 最簡單的解決方法是使用genericLength:: Num i => [a] -> i from Data.List代替，它可以返回適合(/)的第二個參數的Fractional a => a類型的值：

>>> import Data.List
>>> 6 / genericLength [1,2,3]
2.0