Проверка "состава" списка XLisp

@Virviglaz · Регистрация: 21.10.2015

Студворк — интернет-сервис помощи студентам

Необходимо проверить является ли список списком чисел или нет.

Lisp
1
2
3
4
5
6
7
(defun list-check (list)
    (cond
        ((null list) "Yes")
        ((numberp (car list)) (list-check (cdr list)))
        ((not (numberp (car list))) "No")
    )
)

Как "оптимизировать" эту функцию,чтобы она работала и со вложенными списками?

@vlisp · 29.11.2015, 15:26

Lisp
1
2
3
4
5
6
(defun list-check (lst)
  (cond
    ( (atom lst)(numberp lst))
    ( (null (cdr lst)) (list-check (car lst)))
    (T(and (list-check (car lst))
           (list-check (cdr lst))))))

@helter · 29.11.2015, 15:44

Похоже на индусятину, в которой для работы с логическими значениями их преобразуют в строку и смотрят длину (4 ~ true, 5 ~ false).

В CL «истина» — это T, «ложь» — NIL.

Сообщение от Virviglaz

Как "оптимизировать" эту функцию,чтобы она работала и со вложенными списками?

Если list — пустой список, вернуть истину. Если list — непустой список, вернуть истину в том случае, когда: 1) голова списка — число или список, состоящий из чисел (рекурсия) и 2) хвост списка состоит из чисел (рекурсия). Голова списка — first, хвост — rest, логическое «и» — and, логические «или» — or.

@vlisp · 29.11.2015, 16:07

Сообщение от helter

Если list — пустой список, вернуть истину.

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

@Catstail · 29.11.2015, 17:05

Lisp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
(defun is-numlist (lst)
  (cond ((null lst) t)
        ((numberp (car lst)) (is-numlist (cdr lst)))
        (t nil)))  
 
==> is-numlist
 
(is-numlist '(1 2 3))
 
==> T
 
(is-numlist '(1 2 a 3))
 
==> NIL

Сообщение от vlisp

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

- нет. По той же причине, по которой 0!=1

Добавлено через 23 минуты
Для многоуровневых:

Lisp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
(defun is-numlist (lst)
  (cond ((null lst) t)
        ((listp (car lst)) (and (is-numlist (car lst)) (is-numlist (cdr lst)))) 
        ((numberp (car lst)) (is-numlist (cdr lst)))
        (t nil)))  
 
==> is-numlist
 
(is-numlist '(1 2 a 3))
 
==> NIL
 
(is-numlist '(1 2 12 3))
 
==> T
 
(is-numlist '(1 (2 12) 3))
 
==> T

@_Ivana · 29.11.2015, 18:52

Не по теме:

Сообщение от vlisp

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

- алло, дорогая, если уже купила машину - будь осторожнее на дороге, в новостях передают что один идиот едет по встречной!
- один!? Да тут их сотни!

@helter · 29.11.2015, 19:01

Сообщение от vlisp

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

Уравнение с параметром
Там ещё есть ссылка на википедию.

@vlisp · 30.11.2015, 01:32

Сообщение от helter

Там ещё есть ссылка на википедию.

Давайте так, есть некоторая функция, генерирующая рандомный список, есть вспомогательная функция, проверяющая полученный список, и наконец есть третья функция, рандомно выдергивающая элементы списка и проводящая с ними некие манипуляции. Если первая функция возвращает nil, а вторая функция возвращает T, то что делать третьей функции? Проверять список на пустоту. Каждая такая проверка - потеря времени, а без нее, система просто упадет. Элементарный пример - точка, вы не выбрали точку, а функция рисования круга вызвала обработчик ошибки, который удалил все, что вы сделали, в вашем чертеже... и вот вы сидите и моргаете, мол, как же так? вроде ж проверили все: тип - список и все элементы - числа... впрочем это все спекуляции на определениях

@helter · 30.11.2015, 02:56

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

Добавлено через 1 минуту

Сообщение от vlisp

вот вы сидите и моргаете, мол, как же так? вроде ж проверили все: тип - список и все элементы - числа...

Если я с логикой не знаком, то да, у меня проблемы.

Новые блоги и статьи Все статьи Все блоги /
Модель заражения группы наркоманов alhaos 17.04.2026 Условия задачи сформулированы тут Суть: - Группа наркоманов из 10 человек. - Только один инфицирован ВИЧ. - Колются одной иглой. - Колются раз в день. - Колются последовательно через. . .	Мысли в слух. Про "навсегда". kumehtar 16.04.2026 Подумалось тут, что наверное очень глупо использовать во всяких своих установках понятие "навсегда". Это очень сильное понятие, и я только начинаю понимать край его смысла, не смотря на то что давно. . .	My Business CRM MaGz GoLd 16.04.2026 Всем привет, недавно возникла потребность создать CRM, для личных нужд. Собственно программа предоставляет из себя базу данных клиентов, в которой можно фиксировать звонки, стадии сделки, а также. . .	Знаешь почему 90% людей редко бывают счастливыми? kumehtar 14.04.2026 Потому что они ждут. Ждут выходных, ждут отпуска, ждут удачного момента. . . а удачный момент так и не приходит.
Фиксация колонок в отчете СКД Maks 14.04.2026 Фиксация колонок в СКД отчета типа Таблица. Задача: зафиксировать три левых колонки в отчете. Процедура ПриКомпоновкеРезультата(ДокументРезультат, ДанныеРасшифровки, СтандартнаяОбработка) / / . . .	Настройки VS Code Loafer 13.04.2026 { "cmake. configureOnOpen": false, "diffEditor. ignoreTrimWhitespace": true, "editor. guides. bracketPairs": "active", "extensions. ignoreRecommendations": true, . . .	Оптимизация кода на разграничение прав доступа к элементам формы Maks 13.04.2026 Алгоритм из решения ниже реализован на нетиповом документе, разработанного в конфигурации КА2. Задачи, как таковой, поставлено не было, проделанное ниже исключительно моя инициатива. Было так:. . .	Контроль заполнения и очистка дат в зависимости от значения перечислений Maks 12.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеПерсонала", разработанного в конфигурации КА2. Задача: реализовать контроль корректности заполнения дат назначения. . .

Проверка "состава" списка XLisp

Решение