2014 dxdy logo

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

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




Начать новую тему Ответить на тему
 
 Ищу книги по функциональному программированию и компиляторам
Сообщение29.05.2016, 15:26 


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

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


05/09/12
2587
SICP и TAPL уже освоены?

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


18/06/12

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

 Профиль  
                  
 
 Re: Ищу книги по функциональному программированию и компиляторам
Сообщение30.05.2016, 14:03 


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

 Профиль  
                  
 
 Re: Ищу книги по функциональному программированию и компиляторам
Сообщение30.05.2016, 15:16 


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

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


21/08/12

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

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


19/12/10
1546

(NO.)

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

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


27/04/09
28128

(NO.)

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

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

 Профиль  
                  
 
 Re: Ищу книги по функциональному программированию и компиляторам
Сообщение31.05.2016, 14:59 
Заслуженный участник


31/12/05
1414
Eimrine в сообщении #1127137 писал(а):
А "Искусство программирования" Д. Кнута
Тома 6 (теория контекстно-свободных языков) и 7 (технологии компиляции) ожидаются, "God willing", году так в 2030.

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


18/06/12

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

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

(Оффтоп)

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

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


21/08/12

37
arseniiv в сообщении #1127468 писал(а):
Но компиляторы и интерпретаторы лиспа существуют. Как это стыкуется с заявленным?[/off]

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

 Профиль  
                  
 
 Re: Ищу книги по функциональному программированию и компиляторам
Сообщение31.05.2016, 20:40 
Заслуженный участник


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

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


21/08/12

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

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


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

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


21/08/12

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

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 15 ] 

Модераторы: Karan, Toucan, PAV, maxal, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group