サイズkの2次元行列をn + 1(例えば)だけ横切るアルゴリズムを書いてみたい配列の要素は要素のリストです。これらのリストは、サイズが異なり、長さ1,2、...、kであってもよい。私は、確かに、最初の行では、2行目で長さ1、長さ2、...、k行目で長さkと言います。私はハスケルが "k-tuples"のための何らかの仕組みを持っていると想像しています。私はそれが何であるか分かりません。たとえタイプが固定サイズでインデックスされていても、それは大丈夫でしょう - それは小さなパフォーマンスヒットを意味しますが、それほど悪くはありません。Haskell:Repaライブラリ...リストはEltsではありませんが、 "k-tuples"については
提案がありますか?
なぜ「アレイ」を使用しないのですか? –
k-タプルのサイズをタイプレベルで表現したいとお考えですか? (そうでなければ、単にArrayを使用します)。 – Owen