練習問題 4.6.7
最大部分和問題の運算をもう1ステップ進めて,fold-scan融合則を使ってmaxlist . scanr `odot` 0を
foldlで表したくなる.なぜこれはうまくいかないのか.(うまく機能するfold-scan融合については練習問題 4.6.10 を参照せよ.)
fold-scan の融合変換は scanl (foldrのインスタンス)については可能であるが,scanr に対しては定義できない.
maxlist . scanr `odot` 0を
foldlで表したくなる.なぜこれはうまくいかないのか.(うまく機能するfold-scan融合については練習問題 4.6.10 を参照せよ.)
fold-scan の融合変換は scanl (foldrのインスタンス)については可能であるが,scanr に対しては定義できない.