你如何知道OCaml期望的表达式？ （模式匹配）

Question

我正在做模式匹配，并且不断收到一个错误，表示预期的表达式是'列表'。这是为什么？

Answer 1

如果ocaml期望表达式具有某种类型，这是因为您正在对该表达式执行某种操作，而该表达式仅适用于该类型。因此，在这种情况下，您可能会使用列表模式（即构造函数::和nil或列表文字如[x,y,z]）对表达式进行模式匹配。

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