Haskell - Ord类型是什么意思？

Question

我正在递归的Haskell中创建合并排序函数。有人告诉我，我的评估的一部分，我必须定义类型为：

isort :: Ord a => [a] -> [a] 

我假定该函数需要一个数组作为输入和输出数组。我知道ord是一类。

在上述背景下Ord a是什么意思？

这是我的函数：

isort :: Ord a => [a] -> [a] 
isort [x] = [x] 
isort (x:xs) = insert x (isort xs) 
    where 
     insert :: Int -> [Int] -> [Int] 
     insert a [] = [] 
     insert a (b:c) | a < b  = a:b:c 
         | otherwise = b : insert a c 

当我尝试加载我的函数文件到ghci中我得到的错误：

Couldn't match type ‘a’ with ‘Int’ 
    ‘a’ is a rigid type variable bound by 
     the type signature for isort :: Ord a => [a] -> [a] 
     at LabSheet2.hs:17:10 
Expected type: [a] 
Actual type: [Int] 
... 

Answer 1

的Ord a是一个类型类的约束，表示你的函数适用于任何类型a，只要a是可比的（Ord erable）。您收到的错误消息是由于您的外部声明（表示其适用于任何Ord a => a）和内部insert（仅“适用于Int”）之间的冲突。