These are chat archives for rpscala/rpscala

12th
Aug 2017
Toshiyuki Takahashi
@tototoshi
Aug 12 09:21
Tatsunori TAMAKI
@qtamaki
Aug 12 11:29
なるほど。HaskellのfoldもMonoidを畳み込むので一緒なのかもしれませんね。Monoidである以上、mappendの戻りは同じ型になるので。 @xuwei-k
Tatsunori TAMAKI
@qtamaki
Aug 12 12:10
Haskellのfoldl(foldr)は、最終的にfoldで畳み込むような形をしているようです。難しくて全く理解できないのですが、感じで言うとfoldl(r)が取る(a->b->a)の適用をEndoに変換して関数の連続をfoldしているっぽい?結局foldが終わると大きな一つの関数が出来てそれを呼び出すと順番にfoldl(r)されるという動きかな?Monoidによる並列計算の意味は無さそうですが、無理やりfoldにしているという。(ここまで独り言)
[
ということで、「The order in which operations are performed on elements is unspecified and may be nondeterministic.」この一文を見落としていたのがいけなかったみたいです。nondeterministicってハッキリ書いてありますね。
Tatsunori TAMAKI
@qtamaki
Aug 12 12:19
スライドの当該部分を修正しました。(__)