ScalaのStreamのaddStringとScalikejdbcのバグ

がくぞ @gakuzzzz

なんかこれ、Scala側の Stream の bug な気がしてきた。 https://t.co/6ZSTAkQuV7 Iterator だと問題なさそうだし。

がくぞ @gakuzzzz

Streamの文字列化ってそういうものなのか……

病気の美少女 @lyrical_logical

@gakuzzzz Stream#toString ですか

Kenji Yoshida @xuwei_k

@lyrical_logical @gakuzzzz Scaladoc書いてあるので、addStringで?がくっつくのは一応仕様っぽいですね https://t.co/OC0eWhUwjB リスコフの置換原則的に(?)どうなのか、という問題はありそうですけど

がくぞ @gakuzzzz

@xuwei_k @lyrical_logical おーコメントに書いてありますね。ってことは意図してそういう挙動なんですね。そういうものなのか……

がくぞ @gakuzzzz

https://t.co/Qsqe5IcP1N 奇妙に見える

Kenji Yoshida @xuwei_k

@gakuzzzz ただ、一番上の親のscaladoc見たときに https://t.co/XhXPQGi7Y3 そんな風にoverrideしていいのか？とか何も書いてなくて"Appends all elements of this "とかだけ書いてあるのは、かなり詐欺な気がする

がくぞ @gakuzzzz

@xuwei_k ですね。実際ハマったので、ユーザが期待する動作とは異なっている気がします。

病気の美少女 @lyrical_logical

@gakuzzzz @xuwei_k もう Scala とか忘れたんですが Iterator って有限じゃないといけないみたいな制限ありましたっけ(C++ にはある)それなら妥当な結果だと思います。そうでないなら Iterator の結果おかしい…

kmizu @kmizu

@gakuzzzz @xuwei_k https://t.co/uafVdY6B8g と https://t.co/61czd1j4gU の違いによって出た差の話ですよね。これはLSP破ってるので、詐欺って言うより設計ミスなのではないかという気が…

kmizu @kmizu

@gakuzzzz @xuwei_k 本来なら、TraversableOnceの方でもう少し緩い制限にしておくべきだったのではない感が。

kmizu @kmizu

@lyrical_logical @gakuzzzz @xuwei_k Iteratorは有限じゃなくてもいいですね…

病気の美少女 @lyrical_logical

@kmizu @gakuzzzz @xuwei_k それだと Iterator#addString ちょっとまずいですよねえ。ドキュメントの内容に反してるような

Kenji Yoshida @xuwei_k

まぁScala標準ライブラリが悪いのだけど、それとは別というか微妙に関係ある話として、IteratorをtoSeqするとStreamになるというの、変にハマることがほとんどで嬉しいことのほうが少ないので、必ずtoListかtoVectorなどを使え！というのもっと広まって欲しい

Kenji Yoshida @xuwei_k

@lyrical_logical @kmizu @gakuzzzz 誰かドキュメント修正して pull req しましょう！

がくぞ @gakuzzzz

Stream#addString は LSP破ってる。 無限Iteratorで addString すると死ぬ。 という感じ？

kmizu @kmizu

Stream#addString(StringBuilder,String) がLSP破ってる、というのは、大本の http://t.co/X47XnjEV78 のドキュメントから判断したものですね。 #scalajp

kmizu @kmizu

TraversableOnce#addString(StringBuidler, String)とStream#addString(StringBuidler, String)を比較したときに、後者の返り値の文字列の方が「制約が緩い」でこれはLSPに反しているという話。

kmizu @kmizu

制約が緩いっつうのは、未評価のサンクは?として表示されることを許容する、という部分ですね。