新大久保の焼肉屋にて。妹に自慢しよう

Plaster氏の疑問もありちょっと考えてみた。 #let id x = x;; #id id;; - : '_a -> '_a = ここでなぜ'_aとなってしまうのか、と言うことに関して。 例えば、以下のような場合はどうだろうか。 #let f x y = x := y;y;; val f : 'a ref -> 'a -> 'a = この場…