Где я могу найти бумагу / документ / что-то еще, в котором описывается, как на самом деле работает компилятор Haskell? Я прочитал довольно много документов GHC, но остановился, когда у меня заболела голова. Таким образом, предпочтительнее будет то, что не требует наличия докторской степени и написано не в стиле «вы уже знакомы с этим». Это не проблема, если это действительно долго и нужно время, чтобы понять это.
PS: Самое интересное было бы о GHC, но все в порядке.
Вы можете получить ответ из уст лошади! Саймон Пейтон Джонс (мастер GHC) написал книгу, объясняющую, как реализовать функциональные языки программирования. Он доступен бесплатно в Интернете, поскольку его уже не печатают: http://research.microsoft.com/en-us/um/people/simonpj/papers/pj-lester-book/
Конечно, с момента написания книги GHC продвинулся вперед, но он по-прежнему очень актуален.
Вы ищете подробности, особенно о компиляции ленивых вычислений? Есть книга Саймона Пейтон-Джонса, упомянутая Максом Болингброком, а также книга, подробно описывающая реализацию Clean, находится в сети:
http://wiki.clean.cs.ru.nl/Functional_Programming_and_Parallel_Graph_Rewriting
Если у вас есть университетская принадлежность и вы хотите что-то меньшее, вы можете попробовать получить эти книги (Хендерсон и Диллер, безусловно, распроданы):
Антони Диллер "Компиляция функциональных языков" ISBN 0 471 92027 4
Питер Хендерсон "Приложение и реализация функционального программирования" ISBN 0-13-331579-7
AJT Davie "Введение в системы функционального программирования с использованием Haskell" ISBN 0 521 27724 8
У Diller есть полноценный компилятор для ленивого языка (реализованный на Паскале) через комбинаторное сокращение. Это была техника реализации, изобретенная Дэвидом Тернером для SASL. У Хендерсона есть много частей компилятора для LISPkit, миниатюрного ленивого варианта Lisp. Дэви довольно подробно описывает механизм компиляции ленивого языка, например, есть описание STG, которое намного короче, чем книга Саймона Пейтон-Джонса (STG - это абстрактная машина SPJ, используемая для Haskell).
Разработчики Clean имеют довольно много информации о реализации SAPL (простой прикладной язык), если вы просмотрите их список публикаций:
https://clean.cs.ru.nl/Publications
Наконец, существует ряд документов, в которых описаны аспекты Utrecht Haskell Compiler UHC (и EHC). Я думаю, что большая часть информации связана с тем, как организован компилятор (с грамматиками атрибутов и «случайным образом») и как реализованы системы типов (в EHC есть различные уровни системы типов), а не как внутренняя «компиляция» работает.
Компиляторы - огромная тема, и здесь невозможно объяснить их полностью. Но вот обзор общего компилятора. Надеюсь, это даст вам некоторое понимание, которое может сделать чтение материалов о GHC немного легче для понимания.
Компиляторы обычно работают с серией преобразований в 2-х частях: интерфейсной и внутренней.
Первое преобразование - превращение простого текста в нечто более легкое для восприятия. Само это обычно делится на 2 части:
Лексический анализ или токенизация - преобразование простого текста в небольшие фрагменты (обычно операторы, идентификаторы, литералы и т.д).
Синтаксический анализ или синтаксический анализ - превращение этих небольших фрагментов в древовидную структуру. (обычно это AST, абстрактное синтаксическое дерево)
Следующий этап - семантический анализ. На этом этапе компилятор обычно добавляет информацию в AST (например, информацию о типе) и строит таблицу символов. На этом интерфейс завершен.
Следующее преобразование преобразует AST в промежуточное представление. В настоящее время это обычно форма SSA, одно статическое присвоение.
Затем это оптимизируется с помощью постоянного распространения, анализа мертвого кода, векторизации и т. Д.
Последнее преобразование - генерация кода. Преобразование IR в машинный код. Это может быть очень сложно. Это также иногда называют понижением.
Для получения дополнительной информации я рекомендую эту страницу в Википедии.
К сожалению, я подозреваю, что того, что вы ищете, не существует. Теория компиляторов и теория формального языка - довольно сложные темы в компьютерных науках, и Haskell никоим образом не является отправной точкой.
Во-первых, вам, вероятно, следует хорошо изучить:
Я подозреваю, что что-либо, объясняющее что-либо о внутреннем устройстве Haskell, потребует значительно лучшего понимания вышеупомянутых тем, чем, скажем, C.
Пока я прошел единственный курс по этой теме, поэтому у меня нет официальной литературы, которую можно было бы порекомендовать, но я уверен, что существует много хороших источников.
В Википедии есть хороший - читаемый - обзор внутреннего устройства GHC (аналогичный объяснению @dan_waterworth, но характерный для Haskell и GHC):
http://en.wikipedia.org/wiki/Glasgow_Haskell_Compiler#Architecture
Одна из лучших работ по этой теме, которую я прочитал:
