Chiều dài cố định chiều dài đệm trong haskell

Question

Tôi muốn tạo một bộ đệm hình tròn có độ dài cố định của một số loại chung trong Haskell. Các mục trong bộ đệm cần phải được đặt cái khác trong bộ nhớ vật lý (không phải danh sách liên kết). Tôi muốn cấu trúc cụ thể này bởi vì nó sẽ cải thiện cơ hội của tất cả các dữ liệu nhận được vào bộ nhớ cache L2 trên CPU với nhau. Tôi đã đọc về cách Haskell cho phép các kiểu dữ liệu mới, tuy nhiên có vẻ như các kiểu được tạo ra bằng cách sử dụng "dữ liệu" hơn một chút so với các cấu trúc c tôn vinh với kiểu kết hợp và các phương thức liên quan. Có thể tạo ra các cấu trúc dữ liệu mức thấp như cấu trúc được mô tả ở trên hoàn toàn trong Haskell hay không.

Answer 1

Bạn muốn cấu trúc giống như mảng, và bạn đặc biệt muốn không bị chặn để mảng bên dưới không chỉ trỏ đến dữ liệu của bạn mà còn là các mục.

Data.Array từ thư viện mảng tiêu chuẩn cung cấp cho bạn một phiên bản đó, nhưng đặc biệt là mảng hiệu suất cao có sẵn từ thư viện vector: http://hackage.haskell.org/package/vector

Thư viện vector, như ByteString, Text, và một vài người khác , sử dụng số lượng hợp lý các nguyên thủy cụ thể ở mức độ thấp ghc dưới mui xe. Để chỉ sử dụng thư viện, bạn không cần phải lo lắng về những điều đó. Nhưng nếu bạn quyết định rằng thư viện không cung cấp cho bạn những gì bạn cần, thì bạn cũng có thể tìm hiểu một số tiền hợp lý theo cách thủ thuật và kỹ thuật bằng cách đọc qua mã nguồn của chính nó.

Answer 2

Vâng, điều này chắc chắn có thể xảy ra. Chương creating a bloom filter từ Real World Haskell phải là một ví dụ rất tốt cho các loại triển khai này.