Автор | Сообщение |
Яков Замир Кацман
38 сообщений |
#7544 2015-03-22 10:33 GMT+3 часа(ов) |
Стандарты лисп:
МЕТОДОЛОГИЯ ФУНКЦИОНАЛЬНОГО ПРОГРАММИРОВАНИЯ РУКОВОДЯЩИЙ ДОКУМЕНТ (РД IDEF 02000) CERN-Stanford LISP 360-1978 ISO/IEC 13816:2007:[18] Information technology – Programming languages, their environments and system software interfaces – Programming language ISLISP. ISLISP ( для поиска ISLISP Working Draft 23.0) – attempt to develop a new efficient and cleaned-up Lisp. Standardized as ISO/IEC 13816:1997[17] and later revised ANSI Common Lisp (ANSI X3.226-1994) 2003 and led to the R6RS Scheme standard in 2007 Книги по лисп и связанным технологиям: David S. Touretzky Common Lisp - A Gentle Introduction To Symbolic Computation John McCarthy A micro-manual for lisp - not the whole truth. (Пожалуй, лучшее введение в Лисп.) John N. Shutt "Fexprs as the basis of Lisp function application or $vau : the ultimate abstraction" Абельсон Х., Сассман Д.Д. Структура и интерпретация компьютерных программ М. Watson LispBook loving lisp savvy programmers secret (2002) P. Seibel Practical common lisp В. Водолазкий GNU Common Lisp - часть 4, вызов функций /статья/ Л. Городняя Введение в программирование на ЛИСП (2005) С.П. Горлянский Решение задач на языке программирования лисп 2014 В.А. Потапенко Лисп со всех сторон У.Маурер Введение в программирование на языке ЛИСП 1976 (исторический Лисп) Э.Хювёнен И.Сяппанен Мир ЛИСПа. Т.1 Т.2 (исторический Лисп) David.B. Lamkins Successful LISP How to Understand and Use Common LISP P.Graham ANSI Common LISP (1995) P.Graham On Lisp. Advanced Techniques for Common Lisp - (1993) P.Graham The root lisp (2002) J.Allen Anatomy of lisp (1978 ) (исторический Лисп) S.E.Keene Object oriented programming of common lisp (2001) А.Г.Филд П.Харрисон Функциональное программирование (1993) В.Н.Агафонов Логическое программирование 1988 Г.Д.Хоггер Введение в логическое программирование П. Хендерсон Функциональное программирование. Применение и реализация Robert J. Chassell An Introduction To Programming In Emacs Lisp, 2Nd Ed Eric C.R. Hehner A Practical Theory of Programming David J. Cooper Basic Lisp Techniques Clark Weismann LISP1.5 Primer 1967 (исторический Лисп) Matthias Felleisen How to Design Programs. An Introduction to Computing and Programming J. MaCarthy LISP I Programmers Manual (1960) (исторический Лисп) П. Хендерсон Функциональное программирование и реализация Phil Wadler's The Essence of Functional Programming (1992)* Н.В. Бессарабов Когнитивные модели языков программирования К. Кеннек Интерпретация Lisp и Схеме Е.И.Большакова Пособие по программированию на языке ЛИСП 2010 Д.В.Кальянов Common-Lisp. CLOS.MOP 2009 А.П.Крюков Программирование на языке R-LISP (1991) (исторический Лисп) А.Г.Фенстер Замыкания в Common LISP 2009 Steven L. Tanimoto The Elements of Artificial Intelligence Using Lisp Peter Norvig Paradigms-of-Art Stuart C. Shapiro Common Lisp - An Interactive Approach Gary D. Knott Interpreting LISP 2007 Ira J. Kalet Macros in Common Lisp MEBI 531, Autumn 2012 Daniel G. Bobrow, Linda G. DeMichiel Common Lisp Object System Specification 1. Programmer Interface Concepts Alex Yakovlev (alex14san) Простейший интерпретатор Lisp на C++ 1997 Аntony S. Hey How to Write a Program Lisp interpreter in 90 lines of C++ Сюда, по большому счету, надо добавлять в подраздел книги по "Лямбда Исчислению" и "Теории Категорий" (монады, функторы ...) но я на данный момент не готов это делать. Может кто-то еще? Интересуют "маленькие тоненькие книжечки" 100-120 страниц не больше. отредактировал(а) Яков Замир Кацман: 2015-04-19 21:18 GMT+3 часа(ов) |
|
Море литературы по Лисп-у и смежным технологиям.
|
|
misha![]()
1275 сообщений |
#7545 2015-03-23 22:41 GMT+3 часа(ов) |
ЦитатаЯ бы не стал их включать в список. |
|
Яков Замир Кацман
38 сообщений |
#7546 2015-03-24 13:18 GMT+3 часа(ов) |
Цитата Трудно спорить. Я искал самые минимальные "реализации лиспа". Это то, что нашел я. Если у Вас есть альтернативы - здорово! Можем и убрать, но без этого список будет не полный (ну не лезть же за исходниками лиспа в gcl.) Возможно вы смотрите на эти поделки как программист С++? |
|
Море литературы по Лисп-у и смежным технологиям.
|
|
Яков Замир Кацман
38 сообщений |
#7547 2015-03-24 13:21 GMT+3 часа(ов) |
Я бы убрал весь исторический лисп, но жалко. "Исторический лисп" как бы символизирует будущность этого "языка". Т.е символизирует то, что на лиспе будут писать и через 200 лет.
отредактировал(а) Яков Замир Кацман: 2015-03-24 13:29 GMT+3 часа(ов) |
|
Море литературы по Лисп-у и смежным технологиям.
|
|
misha![]()
1275 сообщений |
#7548 2015-03-24 22:36 GMT+3 часа(ов) |
ЦитатаПосмотрите лучше работы дедушки Джона! Он в течении многих лет придумывал для нас различные варианты интерпретаторов. ЦитатаУ меня есть опыт разработки интерпретаторов на различных языках (включая Си). Так что вы можете смело задавать мне вопросы по этой теме. Кстати, я даже пытался разработать простейший сборщик мусора на Схеме) ЦитатаК сожалению, потенциал Лиспа 1 (60-е) так никто до конца и не осознал. А с моей точки зрения он наиболее интересен, т.к. его можно достаточно легко встраивать в различные программы. |
|
fplab
10 сообщений |
#7576 2015-04-10 16:13 GMT+3 часа(ов) |
Здравствуйте!
В Вашем списке нет старенькой (1976), но добротной книги У.Маурер "Введение в программирование на языке ЛИСП". Описывается ЛИСП максимально близкий к канонической реализации Маккарти. Только основы языка. В электронном виде сколько искал - не нашел ![]() |
|
Яков Замир Кацман
38 сообщений |
#7577 2015-04-11 16:29 GMT+3 часа(ов) |
www.tw.....px.com/file/1390384/ В электронном виде здесь. Спасибо. Топ 1 гугла по "У.Маурер Введение в программирование на языке ЛИСП pdf"
|
|
Море литературы по Лисп-у и смежным технологиям.
|
|
Яков Замир Кацман
38 сообщений |
#7578 2015-04-11 16:40 GMT+3 часа(ов) |
Мне бы найти что-то современное (2010-2015) по read-macros-ам. Признатся, я чувствую что об этой теме я знаю далеко не всё. В этом единственный недостаток лиспа - При таком облии качественной
литературы я вынужден лезть в код интерпретатора. отредактировал(а) Яков Замир Кацман: 2015-04-11 16:49 GMT+3 часа(ов) |
|
Море литературы по Лисп-у и смежным технологиям.
|
|
misha![]()
1275 сообщений |
#7579 2015-04-11 21:05 GMT+3 часа(ов) |
ЦитатаТак что собственно вы хотите узнать? Со стандартом уже ознакомились? |
|
misha![]()
1275 сообщений |
#7580 2015-04-11 21:26 GMT+3 часа(ов) |
John McCarthy, "A micro-manual for lisp - not the whole truth".
Пожалуй, лучшее введение в Лисп. John N. Shutt, "Fexprs as the basis of Lisp function application or $vau : the ultimate abstraction". А эта диссертация вдохновила меня на создание MicoLisp (lisp.ml, lisp.cu.cc - его cgi evaluator). Правда я отошел от классики и все реализовал по-своему. |
|
Яков Замир Кацман
38 сообщений |
#7581 2015-04-12 01:20 GMT+3 часа(ов) |
Киньте мне на почту (если можете) ISO/IEC 13816:2007. Его у меня нет.
|
|
Море литературы по Лисп-у и смежным технологиям.
|
|
misha![]()
1275 сообщений |
#7582 2015-04-12 01:50 GMT+3 часа(ов) |
ЦитатаБолее известен как "ISLISP Working Draft 23.0". |
|
Яков Замир Кацман
38 сообщений |
#7583 2015-04-12 02:18 GMT+3 часа(ов) |
нашел ISO/IEC 13816:2007(E). Спасибо.
"22.1.4. Standard Dispatching Macro Character Syntax" вот так называются рид-макросы ![]() отредактировал(а) Яков Замир Кацман: 2015-04-12 14:13 GMT+3 часа(ов) |
|
Море литературы по Лисп-у и смежным технологиям.
|
|
fplab
10 сообщений |
#7600 2015-04-17 15:14 GMT+3 часа(ов) |
Коллеги, здравствуйте!
Знаю, что в 1992 году был выпущен перевод знаменитой книги "Реализация функциональных языков" С. Пейтон Джонса (http://research.microsoft.com/en-us/um/people/simonpj/papers/pj-lester-book/). Ни у кого нет? Любопытно было бы взглянуть |
|
misha![]()
1275 сообщений |
#7601 2015-04-18 12:43 GMT+3 часа(ов) |
ЦитатаА что вы хотите там найти? Кстати, издание 1987 года на порядок лучше, интереснее. Но к лиспу это не имеет никакого отношения, хотя возможно вы захотите реализовать Пролог поверх Лиспа. |
|
misha![]()
1275 сообщений |
#7603 2015-04-19 16:20 GMT+3 часа(ов) |
Яков Замир Кацман
38 сообщений |
#7604 2015-04-19 21:18 GMT+3 часа(ов) |
Я бы выбрал не scheme, a скорее SCALA несмотря на чудовищный синтаксис (т.к монады).
Но спасибо замечательная подборка. P/S Добавил: Phil Wadler's paper "The Essence of Functional Programming" (1992) |
|
Море литературы по Лисп-у и смежным технологиям.
|
|
misha![]()
1275 сообщений |
#7606 2015-04-19 23:44 GMT+3 часа(ов) |
ЦитатаЕсли вы о Scala, то его обычно выбирают поклонники Java. А если вы из них, тогда вопрос: а почему не Clojure? Тем более, чем вам CL и Scheme не угодили, они ведь неплохо компилируются под Java и Net. |
|
misha![]()
1275 сообщений |
#7633 2015-05-08 15:05 GMT+3 часа(ов) |
ЦитатаНу, так полистайте! А то начну карать за флейм. |
|
Viacheslav78![]()
1 сообщений |
#7734 2016-04-12 21:06 GMT+3 часа(ов) |
Edmund Weitz. Common Lisp Recipes: A Problem-Solution Approach.
Luis Arguelles Mendez. A Practical Introduction to Fuzzy Logic using LISP. Amit Rathore. Clojure in Action. http://www.csee.umbc.edu/courses/331/resources/papers/Evolution-of-Lisp.pdf http://www.ccs.neu.edu/racket/pubs/dissertation-kohlbecker.pdf https://www.wpi.edu/Pubs/ETD/Available/etd-090110-124904/unrestricted/jshutt.pdf http://agl.cs.unm.edu/~williams/cs491/three-imp.pdf https://www.cl.cam.ac.uk/~mom22/thesis.pdf http://repository.readscheme.org/ftp/papers/bcsmith-thesis.pdf http://scg.unibe.ch/archive/external/Dozs07a.pdf отредактировал(а) Viacheslav78: 2016-04-12 21:37 GMT+3 часа(ов) |
|
Яков Замир Кацман (нью)
57 сообщений |
#7746 2016-09-10 13:10 GMT+3 часа(ов) |
P. Odifreddi 1992 t.I Classical Recursion Theory
P. Odifreddi 1999 t.II Classical Recursion Theory вот эти две книжки просто обязательны для прочтения. Особенно первая. |
|
Соотношение высоты байта к ширине не имеет значения
|
|
Яков Замир Кацман (нью)
57 сообщений |
#7782 2017-07-20 17:05 GMT+3 часа(ов) |
"Introduction to Lambda Calculus" Henk Barendregt, Erik Barendsen 2000.
отредактировал(а) Яков Замир Кацман (нью): 2017-07-20 19:59 GMT+3 часа(ов) |
|
Соотношение высоты байта к ширине не имеет значения
|