从定义中编写函数?

时间:2015-07-31 10:37:10

标签: function haskell types definition

首先,我想让大家都知道我对Haskell很新,所以为了增加知识等,我一直在尝试问题,而且我很困惑。我想我差不多了,但一些更有经验的建议将不胜感激。这是问题:

体育队的名字和他们在上一场比赛中得分的数量如此("Newcastle",[3,3,3,0])。此数据由类型定义建模:

type TName = String
type Points = [Int]
type Team = (TName,Points)

由此我必须定义以下函数,如果他们的积分总和更高,则命令一个团队高于另一个团队:

sortPoints :: [Team] -> [Team]

这是我尝试过的:

sortPoints :: [Team] -> [Team]
sortPoints [_,()] -> []
sortPoints [_,(x:xs)] = sum[x|x<-xs]

一旦我到达这里,我不太确定如何添加条件来检查积分总和,任何指针都会非常感激,因为我仍然会接受很多Haskell功能。< / p>

1 个答案:

答案 0 :(得分:7)

注意:这篇文章是用文字Haskell编写的。您可以将其另存为Team.lhs并尝试使用。话虽如此,它基本上是Carsten评论的更长版本。如果您仍然试图解决问题,请使用hoogle并查找功能,但如果您首先使用sortBy进行管理,则可以。

首先,我们要处理列表,因此您要导入Data.List

> module Team where
> import Data.List

它包含一个名为sortBy的函数:

sortBy :: (a -> a -> Ordering) -> [a] -> [a]

sortBy的第一个参数应该是一个比较列表中两个元素并返回

的函数
  • LT如果第一个小于第二个,
  • EQ如果两者相等,
  • GT如果第一个大于第二个。

所以我们需要一些需要两个团队并返回其顺序的东西:

> -- Repeating your types for completeness
> type TName  = String
> type Points = [Int]
> type Team   = (TName, Points)
>
> compareTeams :: Team -> Team -> Ordering

现在,你想根据他们的积分总和来比较团队。您不需要他们的名字,因此您只能捕获该对的第二部分:

> compareTeams (_, s1) (_, s2) =

我们需要点的总和,因此我们将sum1sum2定义为各个团队的总和:

>       let sum1 = sum s1
>           sum2 = sum s2

现在我们可以比较这些总和:

        in if sum1 < sum2 
             then LT
             else if sum1 == sum2 
                     then EQ
                     else GT

然而,这相当冗长,并且已经有一个类型为Ord a => a -> a -> Ordering的函数。它被称为compare,是Prelude的一部分:

>       in sum1 `compare` sum2

这更加简洁。现在我们可以轻松定义sortTeams

> sortTeams :: [Team] -> [Team]
> sortTeams = sortBy compareTeams

就是这样,我们完成了!

好吧,我撒谎,我们不是百分之百完成的。模块Data.Ord包含一个名为comparing的函数,它非常方便:

comparing :: Ord b => (a -> b) -> a -> a -> Ordering
comparing f x y = f x `compare` f y -- or similar

sndsum一起,您可以在一行中定义sortTeams

sortTeams = sortBy (comparing $ sum . snd)

Carsten提到的替代on来自on Data.Function

sortTeams = sortBy (compare `on` sum . snd)