使用模式匹配重载函数？

Question

Haskell 粉丝大家好！

我所有的问题都与 -- OVERLOADED(?) FUNCTION -- 部分有关，为了完整起见，我包括了其余部分。

1. 我想知道使用模式匹配来重载我的函数 order 是否有意义，就像我在下面的示例中所做的那样。

2. 我还想知道 order 函数的第一个版本中调用函数“checkBalance balance”的第一个函数是否总是得到 executerd（因为我没有为它指定模式）或从不（因为所有的 Food 模式都包含在下面的函数中）。

在此先感谢初学者:)

-- TYPE DECLARATIONS --
data Spice = Regular | Medium | Hot
data Base  = Noodles | Rice
data Meat  = Duck | Chicken | Pork
data Sauce = Tomato | Meatballs | Carbonara

data Food  = Indian Spice | Pasta Sauce | Chinese Base Meat

data DeliveryOption = Pickup | Delivery

data DeliveryTime = Immediate | Later

type CreditBalance = Int

data Order = O Food DeliveryOption CreditBalance

data OrderStatus = Success | Pending | Declined

-- OVERLOADED(?) FUNCTION --
order :: (Order, CreditBalance) -> OrderStatus
order (O {}, balance)
  | not (checkBalance balance ) = Declined
  | ...

order (O Indian {} _ _, _)
  | ...

order (O Pasta {} _ _, _)
  | ...

order (O Chinese {} _ _, _)
  | ...

-- ANOTHER FUNCTION --
checkBalance :: CreditBalance -> Bool
checkBalance balance
  | balance > 100 = True
  | otherwise = False

Answer 1

我看不出这个函数定义有什么问题。

函数子句按顺序尝试，所以总是先尝试checkBalance的第一个分支，然后再尝试下一个保护，以此类推，如果第一组的保护都没有匹配，则下一组将尝试 (O Indian {} _ _)。

如果第一组的守卫是穷尽的，那么下面的其他分支就无法到达，这意味着有问题，但没有更多细节很难说更多。

Answer 2

-- OVERLOADED(?) FUNCTION --
order :: (Order, CreditBalance) -> OrderStatus
order (O {}, balance)
  | not (checkBalance balance ) = Declined
  | ...

上面的模式将涵盖所有情况，任何低于它的东西都没有机会检查。

原因是Order只有一个构造函数，即O，而(O {})匹配O构造函数的所有可能参数。元组的另一个成员只是一个简单的Int，它总是匹配。

由于模式是从上到下匹配并选择第一个匹配的，因此它们在代码中的定义顺序很重要。如果您将最广泛的模式放在顶部，下面更具体的模式将永远没有机会匹配。

至于重载函数，我可以想到如何（ab）使用模式匹配来模仿 OOP 中的函数重载，但是您还需要（ab）使用数据声明和整个类型系统来弯曲它们遵循这样的想法，这只会让事情变得更糟。