Làm thế nào thường xuyên seq được sử dụng trong mã sản xuất Haskell?

Tôi có một số kinh nghiệm khi viết các công cụ nhỏ trong Haskell và tôi thấy nó rất trực quan khi sử dụng, đặc biệt là để viết các bộ lọc (sử dụng interact) xử lý đầu vào tiêu chuẩn của chúng và chuyển nó thành đầu ra tiêu chuẩn.

Gần đây tôi đã thử sử dụng một bộ lọc như vậy trên một tệp lớn hơn khoảng 10 lần so với thông thường và tôi đã Stack space overflowgặp lỗi.

Sau khi đọc một số (ví dụ ở đây và ở đây ) tôi đã xác định được hai nguyên tắc để tiết kiệm không gian ngăn xếp (Haskeller có kinh nghiệm, vui lòng sửa cho tôi nếu tôi viết một cái gì đó không đúng):

1. Tránh các cuộc gọi hàm đệ quy không đệ quy đuôi (điều này hợp lệ đối với tất cả các ngôn ngữ chức năng hỗ trợ tối ưu hóa cuộc gọi đuôi).
2. Giới thiệu seqđể buộc đánh giá sớm các biểu thức phụ để các biểu thức không tăng quá lớn trước khi chúng bị giảm (điều này đặc trưng cho Haskell, hoặc ít nhất là đối với các ngôn ngữ sử dụng đánh giá lười biếng).

Sau khi giới thiệu năm hoặc sáu seqcuộc gọi trong mã của tôi, công cụ của tôi sẽ chạy lại một cách trơn tru (cũng trên dữ liệu lớn hơn). Tuy nhiên, tôi thấy mã ban đầu dễ đọc hơn một chút.

Vì tôi không phải là một lập trình viên Haskell có kinh nghiệm, tôi muốn hỏi liệu giới thiệu seqtheo cách này có phải là một thông lệ hay không và thông thường người ta sẽ thấy seqtrong mã sản xuất Haskell. Hoặc có bất kỳ kỹ thuật nào cho phép tránh sử dụng seqquá thường xuyên mà vẫn sử dụng ít không gian ngăn xếp?

Thật không may, có những trường hợp khi người ta phải sử dụng seqđể có được một chương trình hoạt động hiệu quả / tốt cho dữ liệu lớn. Vì vậy, trong nhiều trường hợp, bạn không thể làm gì nếu không có nó trong mã sản xuất. Bạn có thể tìm thêm thông tin trong Real World Haskell, Chương 25. Cấu hình và tối ưu hóa .

Tuy nhiên, có những khả năng làm thế nào để tránh sử dụng seqtrực tiếp. Điều này có thể làm cho mã sạch hơn và mạnh mẽ hơn. Một vài ý tưởng:

1. Sử dụng ống dẫn , ống hoặc iteratees thay vì interact. Lazy IO được biết là có vấn đề với việc quản lý tài nguyên (không chỉ bộ nhớ) và các vòng lặp được thiết kế chính xác để khắc phục điều này. (Tôi khuyên bạn nên tránh IO lười biếng hoàn toàn cho dù dữ liệu của bạn lớn đến mức nào - xem Vấn đề với I / O lười biếng .)
2. Thay vì sử dụng seqtrực tiếp (hoặc thiết kế các tổ hợp của riêng bạn) như Foldl ' hoặc Foldr' hoặc các phiên bản nghiêm ngặt của thư viện (như Data.Map.Strict hoặc Control.Monad.State.Strict ) được thiết kế cho các tính toán nghiêm ngặt.
3. Sử dụng phần mở rộng BangPotypes . Nó cho phép thay thế seqbằng mô hình phù hợp nghiêm ngặt. Khai báo các trường xây dựng nghiêm ngặt cũng có thể hữu ích trong một số trường hợp.
4. Cũng có thể sử dụng Chiến lược để buộc đánh giá. Thư viện chiến lược chủ yếu nhắm vào các tính toán song song, nhưng cũng có các phương pháp để buộc một giá trị thành WHNF ( rseq) hoặc toàn bộ NF ( rdeepseq). Có nhiều phương pháp tiện ích để làm việc với các bộ sưu tập, kết hợp các chiến lược, v.v.