Haskell：检查列表是否已排序

在Haskell中，可以很方便地检查给定列表是否已排序。下面我们将介绍如何使用Haskell检查列表是否已排序，并提供详细的代码和解释。

列表排序

在将列表传递给排序函数之前，我们需要确保列表中的元素具有实现Ord的类型。Ord是一个类型类，其实例类型必须支持比较操作。

-- 排序函数
sort :: Ord a => [a] -> [a]

接下来，我们将使用上面的sort函数来检查列表是否已排序。

检查列表是否已排序

import Data.List

-- 如果给定列表已排序，则返回True，否则返回False。
isSorted :: Ord a => [a] -> Bool
isSorted xs = xs == sort xs

上面的代码使用了Data.List中的sort函数。该函数对Haskell中的List类型进行排序。然后将排序后的列表与原始列表进行比较，如果它们相等，则表示列表已排序。

在上面的代码中，isSorted函数具有以下类型：

isSorted :: Ord a => [a] -> Bool

这意味着函数接受一个类型为Ord a => [a]的列表，并返回一个布尔值。

最后，我们来看看一个使用isSorted函数的例子：

main = do
    putStrLn $ show $ isSorted [1,2,3,4,5] -- True
    putStrLn $ show $ isSorted [5,4,3,2,1] -- False

上面的代码将使用isSorted函数检查两个列表是否已排序，并将结果打印到控制台中。

结论

在Haskell中，检查列表是否已排序非常容易。使用sort函数和一个简单的比较操作，我们可以轻松地检查列表是否已排序。