Читання GHC Core

Основна мова є проміжною мовою GHC. Читання Core може допомогти вам краще зрозуміти продуктивність вашої програми. Хтось запитав мене щодо документації чи навчальних посібників з читання Core, але я не зміг знайти багато чого.

Яка документація доступна для читання GHC Core?

Ось що я знайшов поки що:

• Пишіть Haskell так само швидко, як C: експлуатуючи суворість, лінь і рекурсію
• Haskell так само швидко, як і C: робота на великій висоті для низької продуктивності
• RWH: Розділ 25. Профілювання та оптимізація
• Високопродуктивна розмова Haskell на CUFP (слайд 65-80)

GHC Core - це система FC FC, на яку перекладається весь Haskell. (Приблизна) граматика для Core задається:

Ядро тісно пов'язане з більш простий і більш відомої системи F . Всі перетворення, які GHC робить на рівні Core , - це збереження типу рефактори для цього представлення Core для підвищення продуктивності. І, не так добре відомо, ви можете писати безпосередньо в Core для програмування GHC.

GHC Core вписується в конвеєр компілятора (як це було у 2002 році, sans-LLVM та CMM):

Основними документами, які можна дізнатися про GHC Core, є:

• Зовнішнє представництво з основної мови GHC , Толмач, 2001
• ghc / компілятор / CoreSyn , саме визначення GHC
• Секрети інлайнеру компілятора Глазго Хаскелла , Пейтон Джонс та Марлоу, 1999. Основна характеристика описана в Розділі 2.3, включаючи детальну інформацію про анотації аналізу подій.
• Оптимізатор на основі трансформації для Haskell , Peyton Jones і Santos, 1998. Core описаний в S3, включаючи обговорення поліморфізму та оперативних показань Core.

Пов’язаний матеріал, який може допомогти зрозуміти:

• Вихід GHC -fext сердечником
• Я витратив багато часу на вивчення Core, читаючи джерело GHC. Деякі з них описані в моїй дипломній роботі від 2002 року, зі сторінки 16.
• З використанням інструменту ghc-core , для створення Core у форматі, який мені здається приємним.

Core, в свою чергу, перекладається в STG-код, який виглядає приблизно так:

Смішні імена в Core кодуються у "Z-кодуванні":

Види та види GHC Core (з статті Толмаха):

Нарешті, первиці GHC регулярно з’являються у вихідному корі GHC, коли ви оптимізували ваш Haskell до основних інструкцій, про які GHC знає. Набір приміток задається у вигляді набору функцій Core у попередньо обробленому файлі.

Порада. Якщо анотації та типи примусів не хвилюються, використовуйте -ddump-simplразом із цим -dsuppress-allпараметром. Вихід Core повинен бути набагато читабельнішим.

Хоча не зовсім GHC Core мова, як Дон згадує, мова STG є досить схожою. Нещодавно я пройшов практику доведення безпеки мови STG + + машини, а згодом виявив, що легко зрозумів Core.

Текст, який я використовував для вивчення STG, є досить доступним: реалізація лінивих функціональних мов на фондовому обладнанні: безшпиндельна беззвучна G-машина Саймона Пейтона-Джонса. Значна частина статті стосується детальних відомостей про впровадження, але я рекомендую, зокрема, розділ 4, як пояснення зверху донизу мови STG, що дає мотивацію для деяких контр-інтуїтивних дизайнерських рішень та надає переклади знайомих прикладів map.

"Зовнішнє представництво основної мови GHC" - це документ, який можна знайти в інсталяції ghc ( share/doc/ghc/core.pdf) або в Інтернеті .