単一化が遅すぎです。相当naiveに実装してあるためでしょうが*1、kindedな型変数が30個弱で等式が1個とかを単一化すると、11秒とかかかります。なめてるとしか言いようがありません。ちなみに入力したプログラムは 1.aaaです。泣けてきます。ちゃんと「NoMet…
でも、実行に時間がかかった方がデモなんかをしたときに「がんばって計算してる感」が出て良いかなあ、みたいな気分。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。