haskell - repa での動的プログラミング

Question

関連する 2 つの質問。

• repa配列の変更可能な (ST モナド) 実装がない理由はありますか? Data.Vector.Mutableと同等ですが、形状があります。

• これに関連して、ボックス化されていない表現で、動的プログラミングアルゴリズム (同じ配列の他の要素から計算された配列要素) をどのように実装することになっていますか?

Answer 1

Repa は、バルク データ並列プログラミング用に設計されています。配列要素を任意の順序で計算できる必要があります。そうしないと、Repa 評価メソッドが機能しません。

他の配列要素に基づいて配列要素を破壊的に更新する場合、これにより評価順序が制約されます。アルゴリズムを大量のデータを並列に表現できない場合、Repa は役に立ちません。