2009-04-27 Finger Treeはlazyである必要があるのか という話が、ごく局所的に、断続的に話題になる。 端の要素だけを出し入れする場合に問題があるらしいのだけれど、端の要素しか触らないならListでいいから実質的に問題にならないのでは?という疑問が。