我们自己的数据类型的最大值

Question

假设我在 haskell 中创建了自己的数据类型：

data List a = ListNode a (List a) | ListEnd

我如何实现一个自定义的最大值函数来查找列表的最大值，例如：

 mymaximum (ListNode 10 ListEnd)

应该返回 10

mymaximum (ListNode 20 (ListNode 10 ListEnd)) 

将返回 20

Answer 1

你可以定义一个递归函数：

myMaximum :: Ord a => List a -> a
myMaximum (ListNode a ListEnd) = a
myMaximum (ListNode a b) = max a (myMaximum b)

但是，更简洁的解决方案将重用 Haskell 的现有maximum函数，而不是定义您自己的函数：

maximum :: forall a . (Foldable t, Ord a) => t a -> a

为此，您需要为 定义（或者，正如其他评论者所指出的，派生）一个Foldable实例List，例如：

instance Foldable List where
  foldMap f ListEnd              = undefined
  foldMap f (ListNode x ListEnd) = undefined
  foldMap f (ListNode x r      ) = undefined

......这，一旦完成，将允许您拨打maximum的ListS：

?> maximum (ListNode 20 (ListNode 10 ListEnd))
20

Answer 2

为了扩展 bereal 的评论，sprach 的回答和 leftaroundabout 给出的评论：

{-# LANGUAGE DeriveFoldable #-}

data List a = ListNode a (List a) | ListEnd
  deriving Foldable

然后，类似地，

?> maximum $ ListNode 5 (ListNode 20 (ListNode 10 ListEnd))
20