レパートでの動的プログラミング

Question

2つの関連する質問。

• repa配列のいかなる変更可能（STモナド）の実装が存在しない理由はありますか？ Data.Vector.Mutableに相当しますが、形状はありません。

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

Answer 1

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

他の配列要素に基づいて配列要素を破壊的に更新する場合は、評価順序が制約されます。バルクデータの並列方法でアルゴリズムを表現できない場合、Repaはあなたを助けません。