#Writter と ++ の問題ですが、RWH 15.8.6 に Writer は性能が悪くて、差分リストを使ったライブラリを使えと書いてありますが、このライブラリーとはどれのことですかね?
#Writer の w に dlist の Data.DList を指定するといいって意味でしょうかね?
#.Writer では性能が悪いではなくて、Writer のログにリストを使うと性能が悪いという意味ではないでしょうか? > 15.8.5 「リストに対する mappend は (++) なので、リストを Writer と共に使うのは~」
#.はい。そういう意味だと思います。 > Writer の w に dlist の Data.DList を指定
#