2004-11-19 [長年日記]
λ. 今日の夢
「イタイ人、イタイ人、飛んでけー」というフレーズだけが頭に残ってる。
λ. AVL木でGADTを試してみる (2)
AVL木でGADTを試してみる の続き。
ちょっと工夫して挿入時と削除時のバランス用の処理を共有してみた。高さnでバランスしている状態から右(左)のサブツリーが高くなった状態は、高さn+1でバランスしている状態から左(右)のサブツリーが低くなった状態と同じであることを利用した(高さに下限があるからその逆には出来ないので注意)。AVL2.hs
[ツッコミを入れる]
