■

単一化が遅すぎです。相当naiveに実装してあるためでしょうが*1、kindedな型変数が30個弱で等式が1個とかを単一化すると、11秒とかかかります。なめてるとしか言いようがありません。

ちなみに入力したプログラムは

1.aaa

です。泣けてきます。

ちゃんと「NoMethodErrorになるよ」と教えてくれたことだけが救いです。

ちなみに

puts "hello"
puts 1
puts true

とやると、1分半かかる件orz。やっとれん。

*1:OCamlの多相バリアントと同じアルゴリズムだから