Haskell 中的多態性是通過類型類和多態類型來實現的。
class Eq a where (==) :: a -> a -> Bool (/=) :: a -> a -> Bool
length :: [a] -> Int length [] = 0 length (x:xs) = 1 + length xs
這里的 length 函數可以接受任意類型的列表作為參數。
length
通過類型類和多態類型的結合，Haskell 實現了強大的多態性，使得代碼可以更具通用性和靈活性。
