Haskell中如何为Maybe、列表类型实现Price类实例？

你给Maybe Egg写的Price实例有两个关键问题：

• 代码冗余，维护成本高
  你把Egg的价格逻辑硬抄了一遍到Maybe Egg的实例里，和Price Egg的实现完全重复。以后要是改ChickenEgg或者ChocolateEgg的价格，你得同时改两个地方，很容易漏改出错。而且要是之后需要支持Maybe Milk的价格计算，你又得写一套几乎一样的代码，重复度越来越高。

• 扩展性不足，满足不了所有需求
  你只处理了Maybe Egg，但需求里还需要计算列表的总价（比如[Milk 1, Milk 2]），还有Maybe Milk的列表（比如[Nothing, Just (Milk 1)]），按你现在的写法，得给每个组合都写单独的实例，完全不现实。

正确的实现思路 #

我们可以利用Haskell的多态特性，给Maybe和列表[]写通用的Price实例，不用绑定具体类型：

1. 通用的Maybe实例 #

只要某个类型a已经实现了Price，那Maybe a就能自动继承价格计算逻辑：

instance Price a => Price (Maybe a) where
  price Nothing = 0
  price (Just x) = price x

这样不管是Maybe Egg还是Maybe Milk，都能直接用price计算，完全复用原有类型的价格规则，没有冗余代码。

2. 通用的列表实例 #

列表的总价就是所有元素价格的总和，同样用多态实现：

instance Price a => Price [a] where
  price = sum . map price

这个实例能处理任何Price类型的列表，包括嵌套了Maybe的情况，比如[Just ChocolateEgg, Nothing]或者[Just (Milk 2), Nothing]。

测试验证 #

现在你要的所有调用都能正常返回预期结果：

• price (Just ChickenEgg) → 20
• price [Milk 1, Milk 2] → 45
• price [Just ChocolateEgg, Nothing, Just ChickenEgg] → 50
• price [Nothing, Nothing, Just (Milk 1), Just (Milk 2)] → 45

而且以后新增任何实现了Price的类型，Maybe和列表的价格计算都会自动生效，扩展性拉满。

内容的提问来源于stack exchange，提问作者coderodde