Riffing trên câu trả lời tuyệt vời của jbapple liên quan đến replicate, nhưng sử dụng replicateA( replicateđược xây dựng trên) thay vào đó, tôi đã đưa ra những điều sau đây:
--Unlike fromList, one needs the length explicitly.
myFromList :: Int -> [b] -> Seq b
myFromList l xs = flip evalState xs $ Seq.replicateA l go
where go = do
(y:ys) <- get
put ys
return y
myFromList(trong một phiên bản hơi hiệu quả hơn) đã được xác định và sử dụng trong nội tại Data.Sequenceđể xây dựng cây ngón tay mà là kết quả của các loại.
Nói chung, trực giác cho replicateAđơn giản. replicateAđược xây dựng trên đỉnh của ứng dụngTree hàm . applicativeTreelấy một mảnh của cây có kích thước mvà tạo ra một cây cân đối có chứa các nbản sao của cái này. Các trường hợp cho ntối đa 8 (một Deepngón tay) được mã hóa cứng. Bất cứ điều gì ở trên này, và nó tự gọi đệ quy. Phần tử "ứng dụng" chỉ đơn giản là nó xen kẽ việc xây dựng cây với các hiệu ứng luồng xuyên qua, chẳng hạn như, trong trường hợp của đoạn mã trên, trạng thái.
Các gochức năng, được nhân rộng, đơn giản chỉ là một hành động mà được tình trạng hiện tại, bật một yếu tố ra khỏi đầu, và thay thế phần còn lại. Trên mỗi lệnh gọi, do đó, bước tiếp xuống danh sách được cung cấp làm đầu vào.
Một số ghi chú cụ thể hơn
main = print (length (show (Seq.fromList [1..10000000::Int])))
Trong một số thử nghiệm đơn giản, điều này mang lại một sự đánh đổi hiệu suất thú vị. Hàm chính ở trên chạy gần như thấp hơn 1/3 với myFromList so vớifromList . Mặt khác, myFromListsử dụng một đống không đổi 2MB, trong khi tiêu chuẩn fromListsử dụng lên tới 926 MB. 926 MB đó phát sinh từ việc cần phải giữ toàn bộ danh sách trong bộ nhớ cùng một lúc. Trong khi đó, giải pháp với myFromListkhả năng tiêu thụ cấu trúc theo kiểu lười biếng phát trực tuyến. Vấn đề với kết quả tốc độ từ thực tế là myFromListphải thực hiện gấp đôi số lần phân bổ (do kết quả của việc xây dựng / phá hủy cặp đơn nguyên nhà nước) nhưfromList. Chúng ta có thể loại bỏ những phân bổ đó bằng cách chuyển sang một đơn vị trạng thái được chuyển đổi CPS, nhưng điều đó dẫn đến việc giữ bộ nhớ nhiều hơn bất cứ lúc nào, bởi vì mất sự lười biếng đòi hỏi phải đi qua danh sách theo cách không phát trực tuyến.
Mặt khác, nếu thay vì buộc toàn bộ chuỗi bằng một chương trình, tôi chuyển sang chỉ trích xuất phần đầu hoặc phần tử cuối cùng, myFromList ngay lập tức đưa ra một chiến thắng lớn hơn - trích xuất phần tử đầu gần như ngay lập tức và trích xuất phần tử cuối cùng là 0,8 giây . Trong khi đó, với tiêu chuẩn fromList, trích xuất phần đầu hoặc phần tử cuối có giá ~ 2,3 giây.
Đây là tất cả các chi tiết, và là hệ quả của sự tinh khiết và lười biếng. Trong một tình huống có đột biến và truy cập ngẫu nhiên, tôi sẽ tưởng tượng replicategiải pháp này hoàn toàn tốt hơn.
Tuy nhiên, nó đặt ra câu hỏi liệu có cách nào để viết lại applicativeTreenhư vậy mà myFromListhiệu quả hơn không. Vấn đề là, tôi nghĩ rằng các hành động áp dụng được thực hiện theo một thứ tự khác với cây được di chuyển tự nhiên, nhưng tôi chưa hoàn toàn làm việc thông qua cách thức này hoạt động, hoặc nếu có cách nào để giải quyết vấn đề này.