Không thể xuất từ ​​.hs sang .hc bằng GHC trong Haskell

Question

Tôi đã bị thu hút khi tôi nghe nói rằng GHC có thể xuất ra tệp cho C.

Trình biên dịch Haskell Glasgow (GHC) biên dịch thành mã gốc trên một số kiến ​​trúc khác nhau — cũng như ANSI C — sử dụng ngôn ngữ trung gian.

Vì vậy, tôi đã cài đặt Nền tảng Haskell và tạo tệp .hs đơn giản.

main = putStrLn "Hello, World!" 

Và theo hướng dẫn.

C Dừng sau khi tạo ra C (file .hc)

Bây giờ tôi chạy lệnh.

ghc -C test.hs 

Nhưng nó không tạo tệp .hc, cũng không dừng quá trình biên dịch giữa.

$ ls 
test.exe test.hi test.hs test.o 

Answer 1

Nếu bạn muốn hiểu các chương trình Haskell hoạt động ở mức thấp, tốt nhất bạn nên học Core thay vì (-ddump-simpl). Sau đó, mã trở nên thực sự khó đọc ngay cả đối với các chuyên gia. Lý do chính là việc quản lý đống và đống của GHC bị mã hóa cứng. Kết quả là, mã Haskell được tạo ở mức độ thấp về cơ bản là một mớ hỗn độn khổng lồ của các thủ tục nhỏ, làm số học con trỏ phức tạp trước khi kết thúc với các bước nhảy gián tiếp đến các vị trí không xác định. Loại spaghetti tồi tệ nhất.

Để cung cấp một cái gì đó của một câu trả lời thực tế - bạn thể tạo C bằng cách so với backend LLVM:

ghc -ddump-llvm -ddump-to-file hello_world.hs 
opt -O2 hello_world.dump-llvm | llc -O2 -march c -o hello_world.c 

Nhưng kết quả sẽ chỉ là minh họa cho điểm. Ngay cả chức năng fib tầm thường cũng sẽ mất khoảng 80 dòng mã.

Trong trường hợp bạn thực sự quan tâm đến chi tiết đẫm máu, tôi khuyên bạn nên đọc qua this blog post bởi Edward Z. Yang. Ông về cơ bản đi qua toàn bộ đường ống biên dịch liên quan đến việc dịch một đoạn mã Haskell đơn giản.