2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




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

 
 
 
 Re: Ищу книги по функциональному программированию и компиляторам
Сообщение30.05.2016, 03:45 
SICP и TAPL уже освоены?

 
 
 
 Re: Ищу книги по функциональному программированию и компиляторам
Сообщение30.05.2016, 12:36 
Аватара пользователя
А "Искусство программирования" Д. Кнута и Книга Дракона, самый известный труд о компиляторах?

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

 
 
 
 Re: Ищу книги по функциональному программированию и компиляторам
Сообщение30.05.2016, 15:16 
Pulseofmalstrem, если вы "более-менее подробно освоили основные концепции Haskell" (С), то, боюсь, мне нечего вам посоветовать.

 
 
 
 Re: Ищу книги по функциональному программированию и компиляторам
Сообщение31.05.2016, 00:09 
Аватара пользователя
Обычные императивные языки в конце концов описывают действия процессора. А например программа на Лиспе это уже практически сам объектный код. Только дело в том, что не интеловского процессора, а под машину совсем другой модели вычислений. Так что транслировать такую программу и неоткуда и некуда, грубо говоря.

 
 
 
 Re: Ищу книги по функциональному программированию и компиляторам
Сообщение31.05.2016, 08:45 
Аватара пользователя

(NO.)

NO. в сообщении #1127398 писал(а):
Так что транслировать такую программу и неоткуда и некуда, грубо говоря.
То есть, грубо говоря, вы считаете Lisp не тьюринг-полным языком?

 
 
 
 Re: Ищу книги по функциональному программированию и компиляторам
Сообщение31.05.2016, 09:44 

(NO.)

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

NO. в сообщении #1127398 писал(а):
Так что транслировать такую программу и неоткуда и некуда, грубо говоря.
Но компиляторы и интерпретаторы лиспа существуют. Как это стыкуется с заявленным?

 
 
 
 Re: Ищу книги по функциональному программированию и компиляторам
Сообщение31.05.2016, 14:59 
Eimrine в сообщении #1127137 писал(а):
А "Искусство программирования" Д. Кнута
Тома 6 (теория контекстно-свободных языков) и 7 (технологии компиляции) ожидаются, "God willing", году так в 2030.

 
 
 
 Re: Ищу книги по функциональному программированию и компиляторам
Сообщение31.05.2016, 15:08 
Аватара пользователя
tolstopuz в сообщении #1127588 писал(а):
Eimrine в сообщении #1127137 писал(а):
А "Искусство программирования" Д. Кнута
Тома 6 (теория контекстно-свободных языков) и 7 (технологии компиляции) ожидаются, "God willing", году так в 2030.

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

(Оффтоп)

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

 
 
 
 Re: Ищу книги по функциональному программированию и компиляторам
Сообщение31.05.2016, 19:14 
Аватара пользователя
arseniiv в сообщении #1127468 писал(а):
Но компиляторы и интерпретаторы лиспа существуют. Как это стыкуется с заявленным?[/off]

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

 
 
 
 Re: Ищу книги по функциональному программированию и компиляторам
Сообщение31.05.2016, 20:40 
Во-первых, вы в начале написали «транслятор», а не «компилятор».

 
 
 
 Re: Ищу книги по функциональному программированию и компиляторам
Сообщение01.06.2016, 11:55 
Аватара пользователя
Да, я так написал. А Вы как прочитали?

 
 
 
 Re: Ищу книги по функциональному программированию и компиляторам
Сообщение01.06.2016, 13:22 
А потом вы начали писать о том, что с компиляторами бяда (пока не будем вдаваться в то, насколько убедительно), игнорируя интерпретаторы, которые тоже трансляторы.

 
 
 
 Re: Ищу книги по функциональному программированию и компиляторам
Сообщение02.06.2016, 02:30 
Аватара пользователя
Я думаю автор темы интерпретаторы от трансляторов уже отличает.

 
 
 [ Сообщений: 15 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group