> 1 <

Автор Сообщение

Яков Замир Кацман

Members


Статус

38 сообщений

Где: France
Род занятий:
Возраст:

#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

Moderators


Статус

1273 сообщений
http://racket-lang.org/
Где: Yemen
Род занятий:
Возраст:

#7545   2015-03-23 22:41 GMT+3 часа(ов)      
Цитата
Alex Yakovlev (alex14san) Простейший интерпретатор Lisp на C++ 1997
Аntony S. Hey How to Write a Program Lisp interpreter in 90 lines of C++
Я бы не стал их включать в список.

Яков Замир Кацман

Members


Статус

38 сообщений

Где: France
Род занятий:
Возраст:

#7546   2015-03-24 13:18 GMT+3 часа(ов)      
Цитата
Я бы не стал их включать в список.


Трудно спорить. Я искал самые минимальные "реализации лиспа".
Это то, что нашел я. Если у Вас есть альтернативы - здорово!
Можем и убрать, но без этого список будет не полный (ну не лезть же
за исходниками лиспа в gcl.) Возможно вы смотрите на эти поделки как
программист С++?
Море литературы по Лисп-у и смежным технологиям.

Яков Замир Кацман

Members


Статус

38 сообщений

Где: France
Род занятий:
Возраст:

#7547   2015-03-24 13:21 GMT+3 часа(ов)      
Я бы убрал весь исторический лисп, но жалко. "Исторический лисп" как бы символизирует будущность этого "языка". Т.е символизирует то, что на лиспе будут писать и через 200 лет.

отредактировал(а) Яков Замир Кацман: 2015-03-24 13:29 GMT+3 часа(ов)
Море литературы по Лисп-у и смежным технологиям.

misha

Moderators


Статус

1273 сообщений
http://racket-lang.org/
Где: Yemen
Род занятий:
Возраст:

#7548   2015-03-24 22:36 GMT+3 часа(ов)      
Цитата
Я искал самые минимальные "реализации лиспа".
Посмотрите лучше работы дедушки Джона! Он в течении многих лет придумывал для нас различные варианты интерпретаторов.
Цитата
Возможно вы смотрите на эти поделки как
программист С++?
У меня есть опыт разработки интерпретаторов на различных языках (включая Си). Так что вы можете смело задавать мне вопросы по этой теме. Кстати, я даже пытался разработать простейший сборщик мусора на Схеме)
Цитата
Я бы убрал весь исторический лисп, но жалко.
К сожалению, потенциал Лиспа 1 (60-е) так никто до конца и не осознал. А с моей точки зрения он наиболее интересен, т.к. его можно достаточно легко встраивать в различные программы.

fplab

Members


Статус

10 сообщений

Где: Russia
Род занятий:
Возраст:

#7576   2015-04-10 16:13 GMT+3 часа(ов)      
Здравствуйте!

В Вашем списке нет старенькой (1976), но добротной книги У.Маурер "Введение в программирование на языке ЛИСП". Описывается ЛИСП максимально близкий к канонической реализации Маккарти. Только основы языка.
В электронном виде сколько искал - не нашел

Яков Замир Кацман

Members


Статус

38 сообщений

Где: France
Род занятий:
Возраст:

#7577   2015-04-11 16:29 GMT+3 часа(ов)      
www.tw.....px.com/file/1390384/ В электронном виде здесь. Спасибо. Топ 1 гугла по "У.Маурер Введение в программирование на языке ЛИСП pdf"
Море литературы по Лисп-у и смежным технологиям.

Яков Замир Кацман

Members


Статус

38 сообщений

Где: France
Род занятий:
Возраст:

#7578   2015-04-11 16:40 GMT+3 часа(ов)      
Мне бы найти что-то современное (2010-2015) по read-macros-ам. Признатся, я чувствую что об этой теме я знаю далеко не всё. В этом единственный недостаток лиспа - При таком облии качественной
литературы я вынужден лезть в код интерпретатора.

отредактировал(а) Яков Замир Кацман: 2015-04-11 16:49 GMT+3 часа(ов)
Море литературы по Лисп-у и смежным технологиям.

misha

Moderators


Статус

1273 сообщений
http://racket-lang.org/
Где: Yemen
Род занятий:
Возраст:

#7579   2015-04-11 21:05 GMT+3 часа(ов)      
Цитата
Яков Замир Кацман :
Мне бы найти что-то современное (2010-2015) по read-macros-ам. Признатся, я чувствую что об этой теме я знаю далеко не всё. В этом единственный недостаток лиспа - При таком облии качественной
литературы я вынужден лезть в код интерпретатора.

Так что собственно вы хотите узнать? Со стандартом уже ознакомились?

misha

Moderators


Статус

1273 сообщений
http://racket-lang.org/
Где: Yemen
Род занятий:
Возраст:

#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). Правда я отошел от классики и все реализовал по-своему.

Яков Замир Кацман

Members


Статус

38 сообщений

Где: France
Род занятий:
Возраст:

#7581   2015-04-12 01:20 GMT+3 часа(ов)      
Киньте мне на почту (если можете) ISO/IEC 13816:2007. Его у меня нет.
Море литературы по Лисп-у и смежным технологиям.

misha

Moderators


Статус

1273 сообщений
http://racket-lang.org/
Где: Yemen
Род занятий:
Возраст:

#7582   2015-04-12 01:50 GMT+3 часа(ов)      
Цитата
Яков Замир Кацман :
Киньте мне на почту (если можете) ISO/IEC 13816:2007. Его у меня нет.

Более известен как "ISLISP Working Draft 23.0".

Яков Замир Кацман

Members


Статус

38 сообщений

Где: France
Род занятий:
Возраст:

#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

Members


Статус

10 сообщений

Где: Russia
Род занятий:
Возраст:

#7600   2015-04-17 15:14 GMT+3 часа(ов)      
Коллеги, здравствуйте!

Знаю, что в 1992 году был выпущен перевод знаменитой книги "Реализация функциональных языков" С. Пейтон Джонса (http://research.microsoft.com/en-us/um/people/simonpj/papers/pj-lester-book/). Ни у кого нет? Любопытно было бы взглянуть

misha

Moderators


Статус

1273 сообщений
http://racket-lang.org/
Где: Yemen
Род занятий:
Возраст:

#7601   2015-04-18 12:43 GMT+3 часа(ов)      
Цитата
fplab :
Коллеги, здравствуйте!

Знаю, что в 1992 году был выпущен перевод знаменитой книги "Реализация функциональных языков" С. Пейтон Джонса (http://research.microsoft.com/en-us/um/people/simonpj/papers/pj-lester-book/). Ни у кого нет? Любопытно было бы взглянуть

А что вы хотите там найти? Кстати, издание 1987 года на порядок лучше, интереснее. Но к лиспу это не имеет никакого отношения, хотя возможно вы захотите реализовать Пролог поверх Лиспа.

misha

Moderators


Статус

1273 сообщений
http://racket-lang.org/
Где: Yemen
Род занятий:
Возраст:

#7603   2015-04-19 16:20 GMT+3 часа(ов)      

Яков Замир Кацман

Members


Статус

38 сообщений

Где: France
Род занятий:
Возраст:

#7604   2015-04-19 21:18 GMT+3 часа(ов)      
Я бы выбрал не scheme, a скорее SCALA несмотря на чудовищный синтаксис (т.к монады).
Но спасибо замечательная подборка.
P/S Добавил: Phil Wadler's paper "The Essence of Functional Programming" (1992)
Море литературы по Лисп-у и смежным технологиям.

misha

Moderators


Статус

1273 сообщений
http://racket-lang.org/
Где: Yemen
Род занятий:
Возраст:

#7606   2015-04-19 23:44 GMT+3 часа(ов)      
Цитата
Яков Замир Кацман :
Я бы выбрал не scheme, a скорее SCALA несмотря на чудовищный синтаксис (т.к монады).

Если вы о Scala, то его обычно выбирают поклонники Java. А если вы из них, тогда вопрос: а почему не Clojure? Тем более, чем вам CL и Scheme не угодили, они ведь неплохо компилируются под Java и Net.

misha

Moderators


Статус

1273 сообщений
http://racket-lang.org/
Где: Yemen
Род занятий:
Возраст:

#7633   2015-05-08 15:05 GMT+3 часа(ов)      
Цитата
fplab :
Откуда же мне знать - что я там хочу найти Чтобы это узнать - надо полистать, а уж потом решать.

Ну, так полистайте! А то начну карать за флейм.

Viacheslav78

Members


Статус

1 сообщений

Где: Russia
Род занятий: Freelancer
Возраст: 39

#7734   2016-04-12 21:06 GMT+3 часа(ов)      

отредактировал(а) Viacheslav78: 2016-04-12 21:37 GMT+3 часа(ов)

Яков Замир Кацман (нью)

Members


Статус

7 сообщений

Где: Russia
Род занятий:
Возраст:

#7746   2016-09-10 13:10 GMT+3 часа(ов)      
P. Odifreddi 1992 t.I Classical Recursion Theory
P. Odifreddi 1999 t.II Classical Recursion Theory

вот эти две книжки просто обязательны для прочтения.
Особенно первая.

Яков Замир Кацман (нью)

Members


Статус

7 сообщений

Где: Russia
Род занятий:
Возраст:

#7782   2017-07-20 17:05 GMT+3 часа(ов)      
"Introduction to Lambda Calculus" Henk Barendregt, Erik Barendsen 2000.

отредактировал(а) Яков Замир Кацман (нью): 2017-07-20 19:59 GMT+3 часа(ов)
> 1 <


Онлайн :

0 пользователь(ей), 9 гость(ей) :




Реклама на сайте: