一般的にIOArray（またはMArray）をスライスする

Question

IOArray、またはMArrayのうち一般にスライス（サブアレイビュー）を効率的に構築する方法はありますか？つまり、同じ配列をとって、境界を制限するだけです。署名は、境界(1,1000)だけ元の配列の境界(500,700)持つ要素へのアクセスを与える表示を行うと、配列をとる、例えば

(MArray a e m, Ix i) => a i e -> i -> i -> m (a i e) 

とすることができます。ドキュメントを検索しましたが、そのような機能は見つかりませんでした。

Answer 1

配列の型がどのように実装されているかを考えれば、実際に配列の特徴となるものではありません。

配列は連続したメモリブロックであることを思い出してください。あるレベルでは、n要素を持つ配列はすべて(0, n-1)です。しかし、整数以外のインデックスをゼロから始めることが一般的であるため、Haskellは任意の境界を定義し、その境界内の要素から実際のメモリブロックの0ベースの整数インデックスに変換するためにa type classを提供しています。

これは、配列の境界がその範囲全体をカバーしていると想定されているため、やりたいことをいくらか困難にします。したがって、同じメモリチャンクを使用する既存の配列のコピーを作成し、境界が異なる場合は、インデックスが整列しません - 例では、サブアレイのインデックス500は元のインデックス1と同じになりますアレイ。役に立たない。

ここで最も簡単なアプローチは、既存の配列をラップし、インデックスを変換するために必要な追加情報を格納する独自の配列型を定義することで、独自の境界をより小さな範囲としてレポートしますが、全範囲に基づく配列。次に、 "実際の"配列と同じ境界を使用するだけで、新しく作成された配列でラップされた配列型をどこでも使用できます（期待されるすべてのインスタンスに& c）。ここでインデックスに必要な変換を実行できます。このアプローチは、線形の順序も持たない型（たとえば、タプルでインデックスされた「多次元」配列）を一般化する必要があります。

インデックスタイプのラッパーを使用し、ラッパーバージョンに奇妙なIxインスタンスを与えることで、何かを自動的に処理して、既存の配列タイプを使用できるようにすることもできます。しかし、それはおそらく、正しく動作させるのが難しいでしょう。

配列型やインデックス型を変更せずに行う方法はないと思います。