Tailcalls in Mono

Question

Tôi có một số mã trong F # hoạt động tốt dưới .net nhưng tràn ngăn xếp dưới Mono. Một vấn đề liên quan là nó có vẻ như làm như vậy lâu trước khi không gian stack được cho là có sẵn để nó chạy ra ngoài (nó được bắt đầu với System.Threading.Thread (ts, 1000000000)). Theo như tôi có thể nói, gấp nó chết trong là đệ quy đuôi và ngăn xếp dấu vết trông như thể tối ưu hóa đuôi không được thực hiện. Tôi đang chạy 3.2.1 với --optimize = tailc.

Có ai đó vui lòng biết chính xác loại cuộc gọi đuôi nào đã xóa bỏ ngăn xếp cuộc gọi không? Hoặc cách khác để phân bổ thêm stack? Cảm ơn nhiều.

tôi biết Tailcall elimination in Mono

EDIT: đây là một phác thảo của mã theo yêu cầu trong các ý kiến. Nó là một phần của một lần trên một cấu trúc dữ liệu lớn, nhưng stacktrace không chỉ có mapk và myfold trên đó.

let rec myfold f x k = 

    let rec mapk xs k = 
    match xs with 
    [] -> k [] 
    | x::xs -> mapk xs (fun xs' -> myfold f x (fun x' -> (x' :: xs') |> k)) 

... 

mapk (...) (... >> k) 

Answer 1

Theo như tôi biết, --optimize=tailc không phải là cờ trình biên dịch F # được hỗ trợ.

Tôi không nghĩ rằng có một cách để bật/tắt hỗ trợ tối ưu hóa đuôi trong Mono (từ dòng lệnh, dù sao); cờ trình biên dịch F # để bật tối ưu hóa cuộc gọi đuôi là --tailcalls+, nhưng theo mặc định, Compiler Options (F#) được bật theo mặc định.

Tôi nghĩ rằng sự lựa chọn tốt nhất của bạn để có được điều này được giải quyết như sau:

• File a bug report with Xamarin
• Go trên kênh #monodev IRC (trên irc.gnome.org) và xem nếu một trong những nhà phát triển/người đóng góp có có thể giúp bạn.