Zipper

Zipperの話が盛り上がっているようですが、今年のMLワークショップにZipperを使ってC--コンパイラの制御フローグラフ表現を書き直したら、破壊的代入と参照（ポインタ）を使った実装よりきれい＆速くなったという論文の発表がありました。まあ私的には当然ですが。とかいってみる。

追記：リストだけでなく木やグラフでもOK、というのがZipperの肝ではないでしょうか。

追記２：MLワークショップのホームページ（というかシカゴ大学のトヨタ研究所?）につながらない…。しょうがないのでかわり。