Đọc lõi GHC

Cốt lõi là ngôn ngữ trung gian của GHC. Đọc Core có thể giúp bạn hiểu rõ hơn về hiệu suất của chương trình của bạn. Ai đó đã hỏi tôi tài liệu hoặc hướng dẫn về việc đọc Core, nhưng tôi không thể tìm thấy nhiều.

Tài liệu nào có sẵn để đọc GHC Core?

Đây là những gì tôi đã tìm thấy cho đến nay:

• Viết Haskell nhanh như C: khai thác sự nghiêm ngặt, lười biếng và đệ quy
• Haskell nhanh như C: làm việc ở độ cao lớn cho hiệu suất thấp
• RWH: Chương 25. Cấu hình và tối ưu hóa
• Trò chuyện Haskell hiệu suất cao tại CUFP (slide 65-80)

GHC Core là ngôn ngữ System FC mà tất cả Haskell được dịch. Ngữ pháp (gần đúng) cho Core được đưa ra bởi:

Core có liên quan chặt chẽ với Hệ thống F đơn giản và được biết đến nhiều hơn . Tất cả các phép biến đổi mà GHC thực hiện ở cấp Lõi là các phép tái cấu trúc bảo toàn kiểu của biểu diễn Lõi này, để cải thiện hiệu suất. Và, không quá nổi tiếng, bạn có thể viết trực tiếp trong Core để lập trình GHC.

GHC Core phù hợp với đường ống trình biên dịch (như năm 2002, sans-LLVM và CMM):

Các tài liệu chính để tìm hiểu về GHC Core là:

• Một đại diện bên ngoài cho ngôn ngữ cốt lõi GHC , Tolmach, 2001
• ghc / trình biên dịch / CoreSyn , định nghĩa GHC
• Bí mật của trình biên dịch trình biên dịch Haskell của Glasgow , Peyton Jones và Marlow, 1999. Core được mô tả trong Phần 2.3, bao gồm các chi tiết về các chú thích phân tích sự cố.
• Trình tối ưu hóa dựa trên biến đổi cho Haskell , Peyton Jones và Santos, 1998. Core được mô tả trong S3, bao gồm một cuộc thảo luận về đa hình và các bài đọc hoạt động của Core.

Tài liệu liên quan có thể hỗ trợ sự hiểu biết:

• Đầu ra lõi GHC -fext
• Tôi đã dành rất nhiều thời gian để học Core bằng cách đọc nguồn GHC. Một số được mô tả trong luận án đại học của tôi từ năm 2002, từ trang 16.
• Từ việc sử dụng công cụ ghc-core , để tạo Core theo định dạng tôi thấy hài lòng.

Lần lượt lõi được dịch sang mã STG, trông giống như:

Các tên vui nhộn trong Core được mã hóa trong "Mã hóa Z":

Các loại và loại của GHC Core (từ giấy của Tolmach):

Cuối cùng, GHC của primops xuất hiện thường xuyên trong đầu ra GHC Core, khi bạn đã được tối ưu hóa Haskell của bạn xuống đến các hướng dẫn cơ bản GHC biết về. Tập hợp gốc được đưa ra dưới dạng tập hợp các hàm Core trong tệp được xử lý trước.

Mẹo: Nếu bạn không quan tâm đến chú thích loại và ép buộc sử dụng -ddump-simplcùng với -dsuppress-alltùy chọn. Đầu ra Core nên dễ đọc hơn nhiều.

Mặc dù không chính xác là ngôn ngữ GHC Core, vì Don đề cập đến ngôn ngữ STG khá giống nhau. Gần đây tôi đã trải qua bài tập chứng minh tính an toàn của loại ngôn ngữ STG + và sau đó tôi thấy tôi có thể hiểu Core dễ dàng.

Văn bản tôi đã sử dụng để học STG khá dễ tiếp cận: Thực hiện các ngôn ngữ chức năng lười biếng trên phần cứng chứng khoán: Máy G không có thẻ không có thẻ của Simon Peyton-Jones. Phần lớn bài viết liên quan đến các chi tiết triển khai, nhưng tôi khuyên bạn nên sử dụng phần 4 như một lời giải thích từ trên xuống dưới của ngôn ngữ STG tạo động lực cho một số quyết định thiết kế phản trực quan và cung cấp các bản dịch của các ví dụ quen thuộc như map.

"Một đại diện bên ngoài cho ngôn ngữ cốt lõi GHC" là một tài liệu có thể được tìm thấy trong quá trình cài đặt ghc ( share/doc/ghc/core.pdf) hoặc trên internet .