この場合は occur check が遅いんじゃないかと思ってみた。 $ ocaml Objective Caml version 3.10.0 # let f x = (x, x) in let f x = f (f (f (f (f (f x))))) in let f x = f (f (f (f (f (f x))))) in ignore (f 0);; ^C Interrupted. # ^D $ ocaml -rect…

ちょwwwwwwvwwWWWW 長wwWWwwvwWWWWWWWwwwW 一進法とかwwwwwwwWWWWwwWWwW 無理wwWwww (info by pla. http://www.blue.sky.or.jp/grass/)