単一化で人間の気持ちが失われるんだ！というサビシイ話 - camlspotter’s blog

単一化で人間の気持ちが失われるんだ！というサビシイ話 - camlspotter’s blog

OCaml 演習とかやってひぃひぃ言っている人対象ですぅ。わからない人にはわかるように書いていませんか...概要を表示 OCaml 演習とかやってひぃひぃ言っている人対象ですぅ。わからない人にはわかるように書いていませんから、「さっぱりわからない」とか呟く前にスルー推奨です type t = int list list list let x : t = [[[1]]] let y = x @ x をコンパイルすると、 x は t だが y の型は int list list list とレポートされる。これが残念だって話。だって明らかに t でしょ？ これはもちろん単一化アルゴリズムの気持ちになれば明らかに、明らかではないのだが… それに、じゃあ x @ x の型が t としてレポートされるべきかというと、そうではないわな。 type kg = float type m = float (* メーテル *) let bmi (w : kg) (h : m) = w /. (h *. h) としたときに bm