Những gì để sử dụng thay vì một vòng lặp chính trong Haskell?

Question

Tôi cần vòng lặp cho main trong Haskell. Tôi đã thử điều này:

main :: IO() 
main = 
    do 
    putStrLn "do something" 
    main 

Đoạn mã trên có chính xác không? Liệu đệ quy vô hạn này có gây ra tràn không?

Answer 1

Điều này là tốt; không có tràn ngăn xếp sẽ xảy ra. Stack tràn trong Haskell (và, thực sự, bất kỳ ngôn ngữ không nghiêm ngặt) là khác nhau với những người trong các ngôn ngữ khác; chúng phát sinh từ việc tích lũy các giá trị lớn mà không bao giờ đánh giá chúng, nhưng bạn không tích luỹ bất cứ thứ gì ở đây; chỉ cần sắp xếp chuỗi hành động vô hạn. Bạn có thể nghĩ về nó như thế này: Một khi dòng được in, hành động sẽ bị loại bỏ, và điều khiển đi thẳng vào main; không có gì được lưu trữ trên ngăn xếp vì không có gì phải được trả về. Đó là lý do tương tự bạn có thể lặp qua danh sách vô hạn mà không cần hết bộ nhớ: khi chương trình đi xa hơn trong danh sách, các ô danh sách trước đó được thu thập bởi bộ thu gom rác vì chúng không còn cần thiết nữa. Trong trường hợp này, các trình tự trước đó được khai hoang, vì không có lý do gì để giữ lại một hành động mà bạn đã thực hiện.

Điều đó nói rằng, một cách đẹp hơn để viết ví dụ cụ thể này là:

import Control.Monad 

main :: IO() 
main = forever $ putStrLn "do something" 

Tất nhiên, điều này sẽ không hoạt động nếu vòng lặp của bạn là bao giờ có ý định chấm dứt. forever được tự thực hiện với đệ quy, vì vậy không có lợi ích nào ngoài khả năng đọc để thực hiện việc này.

Answer 2

Điều bạn quan sát là kết quả của "loại bỏ cuộc gọi/tối ưu hóa cuộc gọi đuôi", điều này không có gì đặc biệt đối với Haskell. Xem ví dụ http://en.wikipedia.org/wiki/Tail_call