2009-12-25から1日間の記事一覧
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でないのでエラーになる