Къде мога да намеря хартия/документация/каквото и да е, което описва как всъщност работи компилатор на 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
Ако сте член на университет и искате нещо по-малко, можете да опитате да вземете тези книги (Henderson & Diller със сигурност са изчерпани):
Антони Дилер „Компилиране на функционални езици“ ISBN 0 471 92027 4
Питър Хендерсън „Приложение и внедряване на функционално програмиране“ ISBN 0-13-331579-7
AJT Davie „Въведение в системите за функционално програмиране, използващи Haskell“ ISBN 0 521 27724 8
Diller има пълен компилатор за мързелив език (имплементиран в Pascal) чрез намаляване на комбинатора. Това беше техниката за внедряване, изобретена от Дейвид Търнър за 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 в IR, междинно представяне. В днешно време това обикновено е формуляр на SSA, единично статично присвояване.
След това това се оптимизира чрез постоянно разпространение, анализ на мъртъв код, векторизация и т.н.
Последната трансформация е генериране на код. Трансформиране на IR в машинен код. Това може да бъде много сложно. Понякога се нарича и понижаване.
За повече информация препоръчвам тази страница в wikipedia.
как да се уверя, че при дадена заявка получавам резултати само като уеб страници (т.е. .html, .htm), а не други формати (т.е. pdf, ppt, doc)
- person fuz; 08.12.2010За съжаление, подозирам, че това, което търсите, не съществува. Теорията на компилатора и теорията на формалния език са разумно сложни теми в компютърните науки и Haskell в никакъв случай не е отправна точка.
Първо, вероятно трябва да получите добра основа в:
Подозирам, че всичко, което обяснява каквото и да било за вътрешността на Haskell, ще изисква значително по-добро разбиране на горните теми, отколкото, да кажем, C.
Досега съм преминал само един курс по темата, така че нямам официална литература, която да препоръчам, но съм сигурен, че има много добри източници.
Wikipedia има добър - четим - преглед на вътрешността на GHC (подобно на обяснението на @dan_waterworth, но специфично за Haskell и GHC):
http://en.wikipedia.org/wiki/Glasgow_Haskell_Compiler#Architecture
Една от най-добрите статии по тази тема, които съм чел, е:
