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

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 function而不是定义你自己的:

最大::forall a 。 (可折叠 t, Ord a) => t a -> a

为此，您需要为 List 定义(或者，正如其他评论者指出的那样，派生)一个 Foldable 实例，例如:

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

...一旦完成，将允许您在 List 上调用 maximum:

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