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