Chuyển đổi hiệu quả giữa các vectơ đóng hộp và hộp không có hộp số

Question

Cách được đề xuất chuyển đổi giữa Data.Vector.Unboxed và Data.Vector là gì. Cụ thể, tôi cần ánh xạ một hàm trên một vectơ chuyển đổi một loại phần tử không thể nén như Int thành một phần không thể mở hộp như Text. Tôi cho rằng việc trải qua một danh sách trung gian sẽ không hiệu quả lắm.

Answer 1

Bạn có thể sử dụng chức năng convert từ Data.Vector.Generic để thay đổi loại véc tơ, theo sau là map để thực hiện chuyển đổi mỗi phần tử.