[M_konst]

Доброе время суток!. Уважаемы спецы Автолиспа подскажите пож. хочу создать список типа:

Код:

[Выделить все]

 ((1 . 0) (2 . 0) (3 . 0))

Вот код которым пытаюсь осуществить это:

Код:

[Выделить все]

 
 (setq j 2)
 (setq mm '(1 . 0) kk 2)
  (repeat j
    (setq mm1 (cons (eval kk) 0))
    (setq mm (list mm mm1))
    (setq kk (1+ kk))
  )  

Прошу сильно не пинать. Просто лисп изучаю тока 3-й день.

[Кулик Алексей aka kpblc]

koMon, в принципе список - точечная пара, в которой первый элемент атом, а второй - список. По крайней мере assoc корректно работает

[koMon]

Кулик Алексей aka kpblc,
вот только не надо этого пионерского лукавства) готов налить тебе стакан, когда буду в Питере, если ты вот сейчас здесь предоставишь лисп который создаст точечную пару со вторым аргументом - списком)

----- добавлено через ~2 мин. -----
да и кстати tc запрашивал

Сообщение от tujn08 (1 . ("данные1" "данные2"))

[tujn08]

Всем спасибо! Алексею особенно.

Вот, что получилось:

[Дима_]

Сообщение от koMon вот только не надо этого пионерского лукавства) готов налить тебе стакан, когда буду в Питере, если ты вот сейчас здесь предоставишь лисп который создаст точечную пару со вторым аргументом - списком

Это любой не пустой список. Учите матчасть.

[koMon]

Сообщение от Дима_ Учите матчасть

ну да, ну да

[Дима_]

С Вашего позволения начну...
В лиспе данные (оно же как и код - так как в нем это одно и то-же) связываются только 1 способом - парами - то есть устанавливается связь - ячейка 1 (в которой может находится любой тип данных, включая другую пару) связанна с ячейкой 2. Для удобства пользования создан тип данных "конец списка" который можно равнозначно обозначить nil или '() (в автолиспе он же используется как значение false в булевых операциях). То есть, например, список из 5-ти элементов 1..5 это не что иное как (cons 1 (cons 2 (cons 3 (cons 4 (cons 5 nil))))) или (cons 1 (cons 2 (cons 3 (cons 4 (cons 5 '()))))). Для удобства есть функция (list ...) которая переводит аргументы во вложенные последовательности пар; опять-же для лучшего восприятия последовательно вложенные пары с "концом" из nil отображаются как список - (a b c ...).
Прочитав внимательно раза 2 - Вы поймете, что с Вашим примером все верно, в первом варианте вернулось значение, во втором список - как и должно быть, то есть любой не пустой список - это и есть пара из "головы" (car ...) и хвоста (cdr ...) - где (cdr ...) это список или '().
Все функции обработки списков (то есть вообще все функции т.к. функция с аргументами, да и без них - так-же представлена в виде списков) раскладываются в итоге на car-cdr - по иному до n-ого элемента списка не добраться.

[Семёныч]

Сообщение от Дима_ раскладываются в итоге на car-cdr - по иному до n-ого элемента списка не добраться.

А как же функция (nth)?

[Сергей812]

Сообщение от Семёныч А как же функция (nth)?

насколько понял в свое время: список акада представляют собой однонаправленный связанный список из так называемых cons ячеек, где car выдает ссылку на значение текущей ячейки cons, а cdr - ссылку на следующую ячейку. И тогда получается, что функция nth представляет собой по сути цикл пробегания по ссылкам списка, начиная каждый раз с первого элемента - что не совсем хорошо в плане производительности.

[rebus]

Сообщение от Кулик Алексей aka kpblc koMon, в принципе список - точечная пара, в которой первый элемент атом, а второй - список. По крайней мере assoc корректно работает

Точнее - первый элемент либо атом, либо точечная пара.

----- добавлено через ~29 мин. -----

Сообщение от koMon никак. у точечной пары второй аргумент не может быть списком.

Второй элемент точечной пары может быть точечной парой, а список - это частный случай точечной пары. А вот аргументов у точечных пар нет.

[koMon]

Сообщение от rebus А вот аргументов у точечных пар нет.

это верно! это косяк!

НО если всё же попытаться вернутся к напечатанному

Сообщение от tujn08 подскажите как создать и редактировать списки вида: Код: [Выделить все] (1 . ("данные1" "данные2"))

Сообщение от koMon никак. у точечной пары второй аргумент элемент (поправка от rebus) не может быть списком.

то об чём собственно спор?

[frostmourn]

Так можно

Код:

[Выделить все]

 
'(1 . "(\"данные1\" \"данные2\")")
(read(cdr '(1 . "(\"данные1\" \"данные2\")")))
> ("данные1" "данные2")

[Кулик Алексей aka kpblc]

Это читать, а не создавать и редактировать

[rebus]

Сообщение от koMon то об чём собственно спор?

Ну, о том, что пару, у которой в cdr список сделать можно, только стандартная лисповская печаталка не показывает перед парой точку, поэтому покажет ее как обычный список.

[Семёныч]

Сообщение от Сергей812 насколько понял в свое время

По-моему, не совсем так ты понял все это применительно к функции (nth <n> <список>).
Однако, я обращался к Дима_, поскольку именно он достаточно категорически заявил, что кроме, как с помощью CAR и CDR нет возможности добраться до любого элемента списка:

Сообщение от Дима_ раскладываются в итоге на car-cdr - по иному до n-ого элемента списка не добраться

[ShaggyDoc]

Сообщение от Семёныч По-моему, не совсем так ты понял все это применительно к функции (nth <n> <список>). Однако, я обращался к Дима_, поскольку именно он достаточно категорически заявил, что кроме, как с помощью CAR и CDR нет возможности добраться до любого элемента списка:

В "базовом" LISP действительно нет функции NTH, а Дима_ как раз его "правоверный" сторонник. Базисными функциями для списков являются CAR, CDR, CONS.

Но LISP легко расширяется и имеет множество диалектов. Вот в Autolisp ввели удобную функцию NTH. Она действительно в цикле перебирает список и работает медленней. Но это совершенно не критично по скорости, зато очень удобно. Попробуйте-ка "обезличненно" только с использованием базовых функций добраться до элемента списка с известным номером.

А для прикладного программирования приходится еще больше расширять. Вот у меня, например, еще 22 функции для работы со списками. Они позволяют быстро писать простые конечные программы.

[rebus]

Сообщение от ShaggyDoc Вот в Autolisp ввели удобную функцию NTH.

Есть конечно некоторое удобство и польза, если не просить ее вытаскивать слишком далекие элементы из списка, скажем, дальше 10-го элемента, особенно - в цикле.
Но как абстракция, представляющая список в виде массива, она вредна. Списки - не массивы, с ними по-другому надо работать.

[ShaggyDoc]

Сообщение от rebus Но как абстракция, представляющая список в виде массива, она вредна. Списки - не массивы, с ними по-другому надо работать.

Это уже религиозный вопрос

[koMon]

Сообщение от rebus Ну, о том, что пару, у которой в cdr список сделать можно

это дежавю что ли? да это не точечная пара будет, а тупо любой список, с количеством элементов больше одного, поскольку для него cdr возвращает оставшийся список начиная со второго элемента.
возврашаясь к ac хелпу: списки в виде точечных пар всегда состоят из двух элементов и используются автолиспом для манипулирования составными данными примитивов. в точечной паре элементы списка разделяются точкой (.).большинство функций для работы со списками не принимают в качестве аргумента точечную пару, поэтому вам нужно точно понимать, что вы передаёте функции корректный список. точечная пара является примером "неправильного" списка, у которого последния cdr не является nil. функция cons в дополнение к добавлению нового элемента в начало списка может создавать точечную пару. если второй аргумент для функции cons является любым типом, кроме списка или nil, то создаётся точечная пара.

[Дима_]

Сообщение от koMon возврашаясь к ac хелпу:

Эта цитата не дает ничего кроме неверного представления, "списки в виде точечных пар" - трындец. Еще раз - все списочные функции? что nth, что member что assoc и другие - выражены через car и cdr - список - это всегда набор связанных указателей на данные, но не сами данные - когда мы "складываем" данные в список - с ними не происходит ничего - они остаются там-же где лежали - просто создается структура в которой они перечислены. В автолиспе вообще нет способа изменить данные (setq xxx yyy) просто создает новую ячейку xxx - возможно, таким образом "убивая" последнею возможность доступа к существующей одноименной, которая, в этом случае, будет "похоронена" ближайшим сборщиком мусора (GC).

[Семёныч]

Сообщение от ShaggyDoc В "базовом" LISP действительно нет функции NTH, а Дима_ как раз его "правоверный" сторонник. Базисными функциями для списков являются CAR, CDR, CONS. Но LISP легко расширяется и имеет множество диалектов. Вот в Autolisp ввели удобную функцию NTH.

Так речь ведь как раз и идет об AutoLisp. Посмотрите название темы: Точечные списки в AutoLisp.
Тем не менее, чей бы сторонник не был Дима_, ответить на мой вопрос он не пожелал, зато условные адвокаты постарались.