박스형 및 비 박스형 벡터 간의 효율적인 변환

Question

Data.Vector.Unboxed과 Data.Vector 사이의 변환 권장 방법은 무엇입니까? 특히 Int과 같은 unboxable 요소 유형을 Text과 같은 unboxable이 아닌 형식으로 변환하는 벡터에 함수를 매핑해야합니다. 중간 목록을 검토하는 것이 매우 효율적이지는 않다고 가정합니다.

Answer 1

Data.Vector.Generic의 convert 기능을 사용하여 벡터 유형을 변경 한 다음 map을 입력하여 요소 별 변환을 수행 할 수 있습니다.