Я пытаюсь узнать, как реализованы различные аспекты GHC, такие как вывод типа, соответствие шаблонов и другие преобразования кода.
Однако кодовая база довольно большая, и имена файлов используют много аббревиатур (просто, stg, stranal...). Что это значит и как организован код?
Как говорит хаммар, комментарий прочтение бесчисленных публикаций Саймона Пейтона-Джонса по соответствующим темам, в том числе целая книга по внедрению функциональных языков и учебная книга, который проходит через реализацию нестрого функционального языка.
Комментарий GHC - это хорошее место для начала.