使用者: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日查閱．