前回の続きです。Value restrictionによって let x = fst ([], ()) val x : '_a list = [] となってしまっていた。うん、非常に残念。これは別に多相的にあつかってもいいはず。 Relaxed value restriction ここで、Relaxed value restriction。 これはValue…

皆さん、いかがお過ごしでしょうか。楽しいOCamlライフ送ってますか？私は紆余曲折あって「なぜだ・・・なぜ自分が使っている型システムすら知らないんだ！？」ということで、OCamlの型システムを勉強しようと思ってます。そのあたりで論理学の知識がどうし…