如何在Haskell中检查字符串是否比另一个小？

Question

我有两个字符串作为参数给一个Haskell函数。

s1小于s2如果s1短于s2或者如果它们具有相同的长度和s1按字典顺序比s2小。

我该如何在Haskell中实现？

Answer 1

我会使用类似以下内容：

smaller :: String -> String -> Bool 
smaller s1 s2 | len1 /= len2   = (len1 < len2) 
       | otherwise   = (s1 < s2) 
       where (len1, len2) = (length s1, length s2) 

这里有一个样本来看，在拥抱：

 
Main> smaller "b" "aa" 
True 
Main> smaller "aa" "b" 
False 
Main> smaller "this" "that" 
False 
Main> smaller "that" "this" 
True 

Answer 2

试试这个：

compare s1 s2 

（这将返回LT，EQ或GT）。

Answer 3

String是Ord的一个实例，因此您可以使用所有这些方法按字典顺序比较字符串。正如Andrew所说，这基本上是compare，但也包括比较运算符(<)等等。

smaller :: Ord a => a -> a -> Bool 
smaller a b = a < b 

这适用于各类实施Ord（实际上只是为(<)粗包装），包括String。

Answer 4

正常字符串比较只适用于字典排序，而不适用于字符串的长度。

所以你必须编写自己的功能，还需要检查长度：

smaller :: String -> String -> Bool 
smaller s1 s2 | length s1 < length s2 = True 
       | length s1 > length s2 = False 
       | otherwise    = s1 < s2 

或者多一点一般：

compareStrings :: String -> String -> Ordering 
compareStrings s1 s2 | length s1 < length s2 = LT 
        | length s1 > length s2 = GT 
        | otherwise    = compare s1 s2 

例子：

ghci> compare "ab" "z" 
LT 
ghci> compareStrings "ab" "z" 
GT 

---

我们在Monoid附近玩耍上周的大学，我们想出了这个可爱的替代Ord例如：

instance Ord a => Ord [a] where 
    compare = comparing length 
       `mappend` comparing head `mappend` comparing tail 

但是，如果你不很明白这一点，我建议你坚持使用第一个定义;-)

Answer 5

该一个通溶液：

lengthcompare :: Ord a => [a] -> [a] -> Ordering 
lengthcompare = lc EQ 
where 
    lc lx [] [] = lx 
    lc _ [] _ = LT 
    lc _ _ [] = GT 
    lc EQ (v:vs) (w:ws) = lc (compare v w) vs ws 
    lc lx (_:vs) (_:ws) = lc lx vs ws 

smaller :: Ord a => [a] -> [a] -> Bool 
smaller s1 s2 = lengthcompare s1 s2 == LT 

Answer 6

以上由汤姆Lokhorst一个较短的版本的mappend版本：

import Data.Monoid (mappend) 
import Data.Ord (comparing) 

compareStrings :: String -> String -> Ordering 
compareStrings = comparing length `mappend` comparing id 

的另一种方式，以元组的排序的优点：

import Data.Ord (comparing) 
import Control.Arrow ((&&&)) 

compareStrings :: String -> String -> Ordering 
compareStrings = comparing (length &&& id)