■

Functional Programming and Parallel Graph Rewritingという本がWeb上で公開されてた。Cleanの本なのかどうかは分からないが、とりあえず、chapter7を読むと、
・flat/non-flat domainの定義が分かる
・Abstract Reductionがなんか分かった気になる
という効果があった。まあ、なんかとりあえず例を見ればわかるよな〜と。けど、相変わらずnon-flat domainの扱いがよく分からんのだった。それが分かれば実装できそう