さすらうプログラマの日記

OCamlで，let recで定義した多相関数は，束縛の右辺では多相にならないことに気がついた． let rec id x = x and y () = id 0 and z () = id true;; ^^^^intでないのでエラーになる