2005-11-21から1日間の記事一覧

単一化が遅すぎです。相当naiveに実装してあるためでしょうが*1、kindedな型変数が30個弱で等式が1個とかを単一化すると、11秒とかかかります。なめてるとしか言いようがありません。ちなみに入力したプログラムは 1.aaaです。泣けてきます。ちゃんと「NoMet…

でも、実行に時間がかかった方がデモなんかをしたときに「がんばって計算してる感」が出て良いかなあ、みたいな気分。