というエラーが以下のコードで発生する。 module lift Start = 1 ::MyType d = MyType d subst :: d (MyType d) -> MyType d subst newdata (MyType data) = inner where inner :: MyType d inner = MyType newdatahttp://mailman.science.ru.nl/pipermail/c…

http://www.chrylers.com/weblog/topten.phpを見ながら思ったのだが、 Goto（というか、ジャンプ命令）がプログラムの複雑さに与える影響って、副作用がプログラムの複雑さに与える影響と同程度のような気がする。 感覚的な比較だけど。

(++)という演算子がある。これは、リストとリストを結合する演算子だ。 list1 ++ list2 [1,2,3,4] ++ [5,6,7,8]と使う。 で、最近まで、これの計算量を間違って考えていた。 正格な言語の連想で、 [] ++ [1] ++ [2] ++ [3] ++ [4] ++ [5]と書くよりも、 reve…

http://homepage3.nifty.com/iromono/diary/200602A.html#10 一仕事終わったところだし、じゃあハックするか http://www.jmuk.org/d/?path=2006/02/16#d16t03 そういやそうだ。 朝起きて会社に行くまで、プログラミングしてブログ書いて、会社から帰って寝る…

う音便と聞き間違えた