lambda 表达式中的应用函子，非穷举模式？

Question

我正在测试 lambda 函数中的应用函子，但我坚持使用我编写的以下代码。 'myAddition' 需要取'Random a' 的累计总数：

我很欣赏下面有更好的方法，但是我正在学习函子，所以这是相关的

data Random a = Nill | Random a deriving (Show, Ord, Eq)

randomOrNot = [Nill, Random 22, Random 101, Nill, Random 44]

instance Functor Random where
  fmap f (Nill) = Nill
  fmap f (Random a) = Random (f a)

instance Applicative Random where
  pure a = Random a
  (<*>) (Random a) = fmap a

cumulativeTotal :: [Random a] -> Random a
cumulativeTotal li = foldr (\el acc -> (pure (+) <*> el) <*> acc) (Random 0) li

main = do
  print $ cumulativeTotal randomOrNot

错误：

"Non-exhaustive patterns in function <*>"

我了解错误的含义，但是我不确定如何使应用函子 lambda 详尽无遗？

Answer 1

这里有一种方法可以解决这个问题：

 instance Applicative Random where
     pure a = Random a
     (Random f) <*> (Random a) = Random (f a)
     _ <*> _ = Nill

首先，导入格式f (a -> b) <*> f a)，并将第一种情况的结果定义为Random (f a)。然后，无论f (a -> b) 和f a 条款如何，通过将结果设置为Nill 来处理输入为Nill 的情况。这将解决 Random 构造函数的所有可能值并解决您的非详尽模式问题。

或者，您可以选择像这样进一步分解案例，结果相同：

instance Applicative Random where
    pure a = Random a
    (Random f) <*> (Random a) = Random (f a)
    _ <*> Nill = Nill
    Nill <*> (Random a) = Nill

Demo