使用者:Renamed user 63506961370/OCaml入門教程/模式匹配

let rec compute = function
    Val v -> v
  | Fun(f, x) -> f (compute x) ;;

這種情況下,被用於匹配的參數是匿名的,從而也無法標示該參數的類型。

參考資料

編輯

Type declarations and pattern matching.於2014年1月24日查閱.