Zipperに挑む - Qiita

はじめに この記事はHaskell Advent Calendar 2日目の記事です。 この記事では、書籍「すごいHaskellたのしく学ぼう!」(以下すごいHの本)の15章を参考に、Zipperを使ってリストや木構造を"純粋に"操作する方法を紹介します。 初めての挑戦なので自分の中でZipperを整理しようという意図もありますが、その際の知見をお裾分けしてみようと思います。 Zipperって何？ Haskellではリストや木構造は再帰的に定義されていています。こうした構造では先頭の値を変更することは容易ですが、途中の値を変更するには以下の手順を踏む必要があります。 変更したい場所まで構造をたどる その場所より後ろにある構造($L_{tail}$)と、前にある構造($L_{init}$)を切り離す $L_{tail}$に新しい値を継ぎ足し、さらに$L_{init}$をつなぐ もし複数の値を

[Haaaa_N]

Zipperのこと実はよくわかってなかったけどそういうデータ構造だったのか

[u_wot_m8]

ここまで辿ってきた分は逆向きにつないで持っておく。１次元リストだと単純過ぎて何が特筆に値するのか逆に分かりにくい