2007-01-11から1日間の記事一覧

一日目

とりあえず、使ってみないと分からんよな〜という話なんだが、Sparkleってマニュアルとかないのかよ。Cleanコミュニティのやる気のなさは異常(まあ単に人が少ないというだけなんだろうが)。細かくメモっとかないと自分で使い方を忘れそうlol 0.Sparkleが組み…

Strictness Analysis featuring Template Haskell

Abstract interpretationベースの正格性解析(とlet-to-case transformation)をコンパイラに直接手を入れず、template haskell使って実装したぜheheという論文。 Strictness Analysis and let-to-case Transformation using Template Haskell http://www.cs.i…

高速なコードを書くために

GHC

http://www.reed.edu/~carlislp/ghc6-doc/users_guide/faster.html 最適化オプションを付けようとか、型構成子が一個の時はnewtype使おうぜとかいう話はいいとして、letが出てきたら死にましょうとか、1/3くらいはstrictnessに関する話だよな〜、という。こ…