Теоретические основы Лисп

Question

Я только начал изучать диалект lisp ( Racket), и я хотел бы знать, есть ли у кого-нибудь ссылка или она может указать мне на теоретические основы семейства языков lisp, под ресурсами я подразумеваю статьи, статьи или книги все, что вы могли придумать.

Предпочтительно указание того, какие математические понятия он использует, как он строит свои операторы, как он их разрешает, объединяет идентичности и так далее. Я читал SEXP в Википедии, но нахожу это немного поверхностным.

Мне интересны основы, потому что мне нравится объяснять, как все работает другим.

Заранее спасибо.

Answer 1

Вы можете начать с самого начала: http://www-formal.stanford.edu/jmc/recursive.html

Answer 2

http://library.readscheme.org/

http://en.wikipedia.org/wiki/Lisp_in_Small_Pieces

Answer 3

Я бы также добавил "Следующие 700 языков программирования" Ландена в этот список; где Маккарти раскрывает понятие программ, интерпретирующих другие программы, Лэндин показывает, как одна и та же теоретическая структура может служить основой почти для всех языков программирования.

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

Answer 4

У Пола Грэма есть несколько хороших мини-статей по истории Lisp: http://www.paulgraham.com/lisp.html

Answer 5

Не пропустите оригинальные лямбда-статьи Гая Стила и Джеральда Суссмана.

• "Лямбда: высший императив"
• "Лямбда: окончательный декларативный"
• "Лямбда: окончательное GOTO"

Answer 6

Вот пара ссылок:

Лисп Праймер от Аллена и Дагата

Лисп Учебник