何遍読んでもやっぱわかんね〜。そもそもどこがアルゴリズムで、どこが単なる原理の説明なのかすらよく分からんというダメっぷり。頭わり〜。とりあえず、何故abstract reductionが正しいのかという点はあまり悩まない方がいいかもしれない。abstract reduct…

Functional Programming and Parallel Graph Rewritingという本がWeb上で公開されてた。Cleanの本なのかどうかは分からないが、とりあえず、chapter7を読むと、 ・flat/non-flat domainの定義が分かる ・Abstract Reductionがなんか分かった気になる という…

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

前回の補足。こないだのCleanのfoldlとかの定義 foldl op r l :== foldl r l where foldl r [] = r foldl r [a:x] = foldl (op r a) xみたいなやつ。変なことはしてないと書いたけど、:==は実はCleanのマクロらしく、例えば、t = foldl (+) 0 hogeというコー…

正格性解析をなめてた。もっと簡単なもんかと。とりあえず、abstract interpretaionは一応理解したと思う。 ・Strictness Analysis Another Methodの前半 ・Introduction to Abstract interpreation: http://akira.ruc.dk/~madsr/webpub/absint.pdf のstrict…