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

Question

我正在做模式匹配，並且不斷收到一個錯誤，表示預期的表達式是'列表'。這是爲什麼？

Answer 1

如果ocaml期望表達式具有某種類型，這是因爲您正在對該表達式執行某種操作，而該表達式僅適用於該類型。因此，在這種情況下，您可能會使用列表模式（即構造函數::和nil或列表文字如[x,y,z]）對錶達式進行模式匹配。

如果您嘗試使用不計算列表的表達式，那當然是一個錯誤，這是錯誤消息告訴您的。