跳至內容

用戶: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日查閱.