Data.Semigroup ((<>))在这个Haskell排序代码中做什么？

Question

该程序可以按Mfg或年份对列表进行排序。什么是(<>)？

import Data.Semigroup ((<>))

compare = comparing year <> comparing mfg
.
.
.

Answer 1

import Data.Semigroup ((<>))在你的程序中没有做任何有用的事情，自从2015年GHC7.10发布以来，就没有做过任何有用的事情。在此之前，它将<>操作符引入作用域，以便compare = flip (comparing year) <> comparing mfg可以使用它。在GHC 7.10中，运算符被添加到Prelude中，因此即使没有导入，它现在也始终在作用域中。

至于<>在那里做了什么，您将在Vehicle -> Vehicle -> Ordering类型中使用它。它来自Semigroup b => Semigroup (a -> b)实例(两次)和Semigroup Ordering实例。净效果是，在将两个Vehicles应用于它之后，它将使用它们的左侧比较结果(flip (comparing year))，除非它是EQ，在这种情况下，它将使用它们的右侧比较(comparing mfg)。如果你要手写出它到底在做什么，它会是这样的：

compare x y = case flip (comparing year) x y of
  LT -> LT
  EQ -> comparing mfg x y
  GT -> GT