這些 Haskell 類型是怎么回事？

Question

為什么這個 function 需要一個整數列表？

Prelude> :t \xs->[(map $ uncurry(*)) (zip xs [1..n]) | n<-[1..(length xs)]]
\xs->[(map $ uncurry(*)) (zip xs [1..n]) | n<-[1..(length xs)]]
  :: [Int] -> [[Int]]

當我用固定值替換length xs時，類型會發生變化並且不再那么嚴格：

Prelude> :t \xs->[(map $ uncurry(*)) (zip xs [1..n]) | n<-[1..100]]
\xs->[(map $ uncurry(*)) (zip xs [1..n]) | n<-[1..100]]
  :: (Num b, Enum b) => [b] -> [[b]]

我的編譯器是

$ ghci --version
The Glorious Glasgow Haskell Compilation System, version 8.8.4

Answer 1

length的類型為[a] -> Int ，這意味着length xs是一個Int值。

另一方面， 100不是Int文字，而是Num a => a類型的多態文字。