ekmett/semigroupoids のバグ？

[Kenji Yoshida]

こんにちは

表題の件ですが、バグかな？と思うのですが、少し自信がないのでpull reqやissue立てる前にここに投稿してみました。

ekmett/semigroupoidsには、この前投稿した

https://groups.google.com/d/msg/haskell-jp/Cy8hDbPM4tY/AwRgl9t2LtIJ

ように、Comonadと関連するExtendというclassがありますが

https://github.com/ekmett/semigroupoids/blob/2dda9273a49/src/Data/Functor/Extend.hs#L29

これの、Data.Sequenceのインスタンスの定義についてです。

まずListの場合は

duplicated = init . tails

となっています。

https://github.com/ekmett/semigroupoids/blob/2dda9273a49/src/Data/Functor/Extend.hs#L52-L53

たとえば

duplicated [1,2,3]

だと、結果は

[[1,2,3],[2,3],[3]]

ですよね。

一方 Data.Sequence のほうは単に

duplicated = Seq.tails

https://github.com/ekmett/semigroupoids/blob/2dda9273a49/src/Data/Functor/Extend.hs#L70

となっていて、

duplicated (Data.Sequence.fromList [1,2,3])

を呼ぶと、

fromList [fromList [1,2,3],fromList [2,3],fromList [3],fromList []]

となり、最後に空のSeqが入るはずです。

まずこの定義の違いに気づいて、この定義の違いがあえて意図したものではないのなら、

ListかSequenceのインスタンスの定義のどちらかはバグだと思うのです。

そして、おそらくData.Sequenceのほうの定義がバグだと思う理由が以下です。

このコミットのメッセージで

https://github.com/ekmett/semigroupoids/commit/77b2326862

「duplicate [] bugfix」

と言っていて、昔はListのほうも単に

duplicate = tails

だったものを、現在のかたちに本人が修正しています

https://github.com/ekmett/comonad/commit/a847f527a8fe32#L1L79

そして、具体的に例がちょっと出せないのですが、おそらくここに書いてあるExtendのlaw

https://github.com/ekmett/semigroupoids/blob/2dda9273a493c27efc5097d245a82d8e35b8ebe3/src/Data/Functor/Extend.hs#L98-L113

を、現在のData.SequenceのExtendの

instance Extend Seq where

  duplicated = Seq.tails

という定義では満たさない気がします。

というわけで、なんでもいいので意見をもらえるとありがたいです。

[Kenji Yoshida]

自分の予想どおりのbugだったようで、issue報告したら修正されました

https://github.com/ekmett/semigroupoids/issues/8