HaskellのData.Mapとそれを翻訳したScalazのMapのバグの話
Kenji Yoshida
@xuwei_k
@kazu_yamamoto はいそうなんですけど、以外と色々な関数呼び出していて一つの関数だけ見ればいいというわけにいかなかったので。ただ「containers0.4.0.0をもとにしても、ちゃんと写したならkeyが重複するバグはありえない」なら地味に探すだけなのでやってみます
2013-09-03 16:05:56
山本和彦
@kazu_yamamoto
.@xuwei_k Data.Set などの集合演算は、リストで作られている標準のモデル実装に対して、同じ振る舞いをするかテストしてあるので、バグが入っているとは思えないですね。
2013-09-03 16:23:57
Kenji Yoshida
@xuwei_k
.@kazu_yamamoto @shelarcy たぶんバグの原因わかりました(やはり単なる写し間違いのミスでした) https://t.co/Ni6RBDlh7v ありがとうございます
2013-09-03 17:29:09
Yoichi Hirai
@pirapira
. @shelarcy @xuwei_k 私たちが取り組んだバグは、keyの重複を起こすようなものではありませんでした。
2013-09-03 20:03:55
shelarcy(しぇらーしぃ)
@shelarcy
@pirapira @xuwei_k そうですね。kazu_yamamoto さんからもお返事もらいましたが、あくまで木のバランスが壊れるという問題でしたね。お返事ありがとうございます。
2013-09-03 20:34:32