在Haskell中对抽象数据类型进行排序

type something = (Float,Float,Int,Aa,Bb,Cc,int)

findMin :: something -> something -> somthing
findMin x y = sortBy (compare `on` fst) x y

使用自定义数据类型通常是更好的选择,但如果您真的想使用元组,则可以首先定义一个帮助函数comparisonFst,它根据元组的第一个元素进行比较.

import Data.ord
import Data.List

-- Dummy data types for example purposes. Derive from Show just so
-- that the example can be more easily tested interactively in ghci.
data Aa = Aa deriving Show
data Cc = Cc deriving Show

type Something = (Float,int)

comparingFst :: Something -> Something -> Ordering
comparingFst = comparing fstSomething
    where fstSomething (x,_,_) = x

现在您可以使用以下两个元素中的较小元素：

findMin :: Something -> Something -> Something
findMin x y = case comparingFst x y of
    LT -> x
    _  -> y

或者从元素列表中

findMinimum :: [Something]-> Something
findMinimum = minimumBy comparingFst

您还可以使用相同的辅助函数进行排序：

sortSomethings :: [Something] -> [Something]
sortSomethings = sortBy comparingFst

此外,值得一提的是,默认情况下,元组从第一个元素开始按元素进行比较,因此假设您的Aa和Bb类型可以从Ord和Eq派生,您不需要任何额外的东西,即示例变为：

import Data.List

data Ab = Ab deriving (Show,Ord,Eq)
data Cc = Cc deriving (Show,Eq)

type Something = (Float,Ab,int)

findMin :: Something -> Something -> Something
findMin x y = min x y

findMinimum :: [Something]-> Something
findMinimum = minimum

sortSomethings :: [Something] -> [Something]
sortSomethings = sort

换句话说,您可以按原样使用标准的min和sort函数.