Design patterns 您如何知道OCaml需要什么表达式？（模式匹配）

我正在进行模式匹配，但不断收到一个错误消息，表示该表达式应键入“a列表”。为什么会这样？

如果ocaml希望表达式具有特定类型，那是因为您正在对该表达式执行某些操作，而该操作仅适用于该类型。因此，在本例中，您可能使用列表模式对表达式进行模式匹配（即构造函数

：

和

nil

或列表文本，如

[x，y，z]

）

---

如果您尝试使用一个计算结果不符合列表的表达式，那当然是一个错误，这就是错误消息告诉您的。

我认为您必须给出示例代码或解释器会话才能得到有用的答案。