ボックス化されたベクトルとボックス化されていないベクトルとの間の効率的な変換

Question

Data.Vector.UnboxedとData.Vectorの間の変換の推奨方法は何ですか？具体的には、Intのようなunboxable要素の型をTextのような非unboxable型に変換するベクトルに関数をマップする必要があります。私は中間リストを通ることは非常に効率的ではないと考えています。

Answer 1

Data.Vector.Genericのconvert機能を使用してベクタータイプを変更し、次にmapを使用して要素ごとの変換を行うことができます。