#scalaz 7 の enumIterator

Kenji Yoshida @xuwei_k

scalaz 7 の example って古いやつもちゃんと動くのかなぁーコンパイル通るかどうかしかチェックしてないよなー => とりあえず全部のmainを順番に全部に走らせられるようにsbtファイル修正 => 予想通りassertが引っかかるexampleがみつかる(ｲﾏｺｺ

Kenji Yoshida @xuwei_k

https://t.co/BarkNW7f exampleのproject内でやろうとしたらdiscoveredMainClassesとsourceGeneratorsが循環参照してできなかったので、わざわざ別プロジェクトつくったけど、誰かこれをもっと短く綺麗にしてくれませんかね

Kenji Yoshida @xuwei_k

https://t.co/TkP20INs 自分で原因探ってみるつもりだけど、すぐには解決しなそうなので issue 登録 #scalaz

Kenji Yoshida @xuwei_k

git bisect して原因探ろうとしたら、途中でscalazのsbtのbuildファイル自体がコンパイル通らない自体に遭遇して萎えた(´・ω・｀)ェ・・・ https://t.co/qbYva1Ws

Kenji Yoshida @xuwei_k

https://t.co/ZmK2tv6H Iterateeのheadとpeekって型まったく同じっぽいけど何が違うんだろう、exampleでも同じ結果期待してるし。そもそもさっきのバグ探るためにIteratee読んでるけど、未だにあまりIterateeわかってないな・・・

Keigo Imai @keigoi

@xuwei_k よくしらないのであれですが副作用の有無じゃないっすかね。

慎ましく暮らす人 @qtamaki

@xuwei_k scalazは知らんけど、一般的には、headは、取り出しでpeekは、「ちょっと覗いて戻す」だった気がす。C++のSTLとか。

ぽけば @pocketberserker

@xuwei_k headはデータを消費してpeekは消費しない、だったと思います

ぽけば @pocketberserker

言葉足らずかもしれない、とリプしてから思ってしまった…

ぽけば @pocketberserker

たとえばList(1,2)を対象にIteratee.headするとChunkとして残るのはList(2)だけど、peekの場合はList(1,2)のままとかそんな感じだったような

安心沢ガブ美 @gab_km

@pocketberserker 合ってんじゃないかな？ > http://t.co/4qgznoJJ

ぽけば @pocketberserker

@gab_km みたいですね、よかった

ぽけば @pocketberserker

同じIterateeでも実装方針でわりと細部が異なるのだなぁやっぱり

Kenji Yoshida @xuwei_k

本体のbugなのか、exampleが悪いのかっていうところからわからない(´・ω・｀) https://t.co/1ukZtUcK ここをdefにすれば通るけど。 scalaz.iteratee.EnumeratorT がそもそもimmutableなのかどうかっていうところが

ぽけば @pocketberserker

headで1が取り出されて残りの入力がIterator(2,3)。この状態でlengthすると2が結果になり、続いてpeekすると2が結果になる。うーん、正しい気がする。ので、exampleの期待値がミスしてるんじゃないかなぁ。コードで確認とってないのでアレだけど。

ぽけば @pocketberserker

もしくはpeek -> length -> headの順で書こうとしていたが間違えた？

Kenji Yoshida @xuwei_k

.@pocketberserker でもそう考えると、今度は上の https://t.co/1CWYl6oU enumStreamの部分がおかしいことになってしまうような？

ぽけば @pocketberserker

@xuwei_k なるほど、確かに…

Kenji Yoshida @xuwei_k

enumStreamもenumIteratorも返ってくる型は同じ→でもenumIteratorで作成したEnumeratorTのほうだけmutableであるかのような挙動をしている→mutableかどうかは型で判断できないの?やっぱりenumIterator自体がバグってる？

ぽけば @pocketberserker

enumIteratorの仕様がわからない…mutableな動きしてるしlengthしたらデータ全消費してしまうし、なんじゃこりゃ

Kenji Yoshida @xuwei_k

@pocketberserker length呼んだらデータ消費するのはscala自体のIteratorの仕様なので、length呼んでもデータ消費せず繰り返し利用できるようにするには、内部的に一度Listなどに変換して保持しておく必要があると思うんですけどそれをやってないので…

ぽけば @pocketberserker

@xuwei_k なるほどです。mutableなデータに対してIterateeって使ったことがないので、仕様を把握するのが難しいですね…。

ねこはる @halcat0x15a

enumIterator、peekでも要素消費してそうな名前ですね。

がくぞ @gakuzzzz

mutable な Iteratee ってたしかに ？ ってなる。

Kenji Yoshida @xuwei_k

mutableに振る舞うのがだめなら enumIterator のメソッドが今の実装方針じゃ全面的にだめで、そもそもenumIteratorが存在するべきではないか、もしくはすぐにiteratorをtoStreamしてそれをenumStreamに渡すとかそういうことですかね？