Efektywna konwersja między wektorami zapakowanymi i niepakowanymi

Question

Jaki jest zalecany sposób konwersji między Data.Vector.Unboxed a Data.Vector. W szczególności, potrzebuję odwzorować funkcję na wektor, który przekształca typ elementu, którego nie można spakować, taki jak Int, na taki, którego nie można rozpakować, taki jak Text. Zakładam, że przejście przez pośrednią listę nie będzie bardzo efektywne.

Answer 1

Można użyć funkcji convert z Data.Vector.Generic, aby zmienić typy wektorów, a następnie map, aby przeprowadzić konwersję elementu.