Conversión eficiente entre vectores en caja y sin caja

Question

¿Cuál es la forma recomendada de conversión entre Data.Vector.Unboxed y Data.Vector? Específicamente, necesito asignar una función sobre un vector que convierta un tipo de elemento unboxable como Int en uno no desechable como Text. Supongo que pasar por una lista intermedia no va a ser muy eficiente.

Answer 1

Puede usar la función convert de Data.Vector.Generic para cambiar los tipos de vectores, seguido de map para realizar la conversión por elemento.