2008-01-31から1日間の記事一覧
let で名前の付けられる式が値でない場合,多相性に制約がつくことがある。値でないとはたとえば参照などだ。 # let x = ref [];; val x : '_a list ref = {contents = []}x は参照で,中身は空のリストだ。空だから何のリストでもいい(多相)はずで,型も …
let で名前の付けられる式が値でない場合,多相性に制約がつくことがある。値でないとはたとえば参照などだ。 # let x = ref [];; val x : '_a list ref = {contents = []}x は参照で,中身は空のリストだ。空だから何のリストでもいい(多相)はずで,型も …