Ищу книги по функциональному программированию и компиляторам

[Pulseofmalstrem]

Доброе время суток!
Можете, пожалуйста, посоветовать хороший вводный учебник по теории компиляции и по функциональному программированию (именно с математической точки зрения).
К сожелению, не нашел столь специального вопроса в каталоге литературы.

[_Ivana]

SICP и TAPL уже освоены?

[Eimrine]

А "Искусство программирования" Д. Кнута и Книга Дракона, самый известный труд о компиляторах?

[Pulseofmalstrem]

_Ivana
Нет, я можно сказать совсем новичек в теме. Из освоенного могу указать разве, что основные концепции функционального программирования на примере Haskell (более-менее подробно), теорию формальных грамматик (основные идеи) и азы лябма-исчисления (на уровне базовой теории, которая потребовалось для овладевания концепциями Haskell).

[_Ivana]

Pulseofmalstrem, если вы "более-менее подробно освоили основные концепции Haskell" (С), то, боюсь, мне нечего вам посоветовать.

[NO.]

Обычные императивные языки в конце концов описывают действия процессора. А например программа на Лиспе это уже практически сам объектный код. Только дело в том, что не интеловского процессора, а под машину совсем другой модели вычислений. Так что транслировать такую программу и неоткуда и некуда, грубо говоря.

[whitefox]

(NO.)

NO. в сообщении #1127398 писал(а):

Так что транслировать такую программу и неоткуда и некуда, грубо говоря.

То есть, грубо говоря, вы считаете Lisp не тьюринг-полным языком?

[arseniiv]

(NO.)

Да традиционная ерунда какая-то.

NO. в сообщении #1127398 писал(а):

Так что транслировать такую программу и неоткуда и некуда, грубо говоря.

Но компиляторы и интерпретаторы лиспа существуют. Как это стыкуется с заявленным?

[tolstopuz]

Eimrine в сообщении #1127137 писал(а):

А "Искусство программирования" Д. Кнута

Тома 6 (теория контекстно-свободных языков) и 7 (технологии компиляции) ожидаются, "God willing", году так в 2030.

[Eimrine]

tolstopuz в сообщении #1127588 писал(а):

Eimrine в сообщении #1127137 писал(а):

А "Искусство программирования" Д. Кнута

Тома 6 (теория контекстно-свободных языков) и 7 (технологии компиляции) ожидаются, "God willing", году так в 2030.

Интересно, сколько книг ему понадобится на эти два тома? Нужно бы ему как-то активнее делегировать полномочия сообществу, через гитхаб что ли.

(Оффтоп)

Мне пока одного первого тома более чем достаточно, дерево - ядро любой программы и любого кода.

[NO.]

arseniiv в сообщении #1127468 писал(а):

Но компиляторы и интерпретаторы лиспа существуют. Как это стыкуется с заявленным?[/off]

Помнится ещё в FoxPro был "компилятор", он брал exeшник foxpro и цеплял к нему программу, получалось тоже .exe, только файл чуть длиннее.
Объяснять и стыковать должны те, кто заявил, что сделали компилятор Лиспа.
А я знаю, что лисп-программу выполняет eval-apply, а вовсе не x86 с его регистрами, IP, SP, флажками и прерываниями. В лиспе всё совсем по-другому. К тому же можно в рантайме построить другой интерпретатор и передать списки на выполнение ему, ну и как до запуска программы вы скомпилируете то, чего ещё нет под выполнение на том, чего тоже ещё нет. Им это придется долго объяснять.

[arseniiv]

Во-первых, вы в начале написали «транслятор», а не «компилятор».

[NO.]

Да, я так написал. А Вы как прочитали?

[arseniiv]

А потом вы начали писать о том, что с компиляторами бяда (пока не будем вдаваться в то, насколько убедительно), игнорируя интерпретаторы, которые тоже трансляторы.

[NO.]

Я думаю автор темы интерпретаторы от трансляторов уже отличает.