В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Lisp Forever

129 membersпожаловаться на группу
2020 October 19

a

akater in Lisp Forever
A K
(defun exists (predicate sequence)
 (and (consp sequence)
      (if (funcall predicate (car sequence))
    sequence
    (exists predicate (cdr sequence)))))
Плохо, что аргумент назван sequence, но функция на самом деле только для списков.
источник
22:10пожаловаться#1

a

anton in Lisp Forever
A K
Привет всем! Наконец-то я "написал" свою функцию на проверку вхождения элемента на соответствие предикату))
а зачем оно возвращает хвост?
источник
22:10пожаловаться#2

a

akater in Lisp Forever
anton
а зачем оно возвращает хвост?
А что возвращать?
источник
22:11пожаловаться#3

AK

A K in Lisp Forever
оно возвращает хвост с первой встречи элемента по заданному предикату
источник
22:11пожаловаться#4

a

anton in Lisp Forever
akater
А что возвращать?
T
источник
22:12пожаловаться#5

a

akater in Lisp Forever
anton
T
От этого явно меньше пользы.  Ну существует, и где он?
источник
22:13пожаловаться#6

a

anton in Lisp Forever
akater
От этого явно меньше пользы.  Ну существует, и где он?
а ну лан, раз такое условие
источник
22:14пожаловаться#7

AK

A K in Lisp Forever
akater
Плохо, что аргумент назван sequence, но функция на самом деле только для списков.
lst норм будет?) да, функция для списков
источник
22:15пожаловаться#8

a

akater in Lisp Forever
member тоже возвращает хвост, и правильно.

Но generic, наверное, должен был бы вернуть t или nil, а вторым значением — сам элемент.  Хотя чтоб от него была польза, он должен быть частью объемной библиотеки, которая позволит писать эффективный код типа «если существует такой-то, то сделать с ним такое-то действие in-place»
источник
22:16пожаловаться#9

a

akater in Lisp Forever
A K
lst норм будет?) да, функция для списков
У вас нельзя назвать переменную list?
источник
22:17пожаловаться#10

a

akater in Lisp Forever
Если нельзя, то да, lst.
источник
22:18пожаловаться#11

AK

A K in Lisp Forever
akater
У вас нельзя назвать переменную list?
а так можно было?)
источник
22:18пожаловаться#12

AK

A K in Lisp Forever
в питоне вроде не рекомендуется
источник
22:18пожаловаться#13

AK

A K in Lisp Forever
а в лиспе про это еще не читал
источник
22:19пожаловаться#14

VL

Valeriy L in Lisp Forever
A K
а так можно было?)
можно)
источник
22:19пожаловаться#15

a

akater in Lisp Forever
A K
а так можно было?)
В Lisp-2 можно (и нужно), там у символа отдельные значения для value и для function.
источник
22:19пожаловаться#16

AK

A K in Lisp Forever
ок, буду знать)
источник
22:21пожаловаться#17

a

akater in Lisp Forever
akater
member тоже возвращает хвост, и правильно.

Но generic, наверное, должен был бы вернуть t или nil, а вторым значением — сам элемент.  Хотя чтоб от него была польза, он должен быть частью объемной библиотеки, которая позволит писать эффективный код типа «если существует такой-то, то сделать с ним такое-то действие in-place»
Это можно сформулировать общо так: «Конструктивное доказательство лучше неконструктивного, если оно есть».
источник
22:21пожаловаться#18

a

anton in Lisp Forever
akater
member тоже возвращает хвост, и правильно.

Но generic, наверное, должен был бы вернуть t или nil, а вторым значением — сам элемент.  Хотя чтоб от него была польза, он должен быть частью объемной библиотеки, которая позволит писать эффективный код типа «если существует такой-то, то сделать с ним такое-то действие in-place»
меня название смутило, с member как-то понятно, а вот exists звучит как предикат, о, я придумал название member-if и оказалось это оно и есть
источник
22:30пожаловаться#19

AK

A K in Lisp Forever
anton
меня название смутило, с member как-то понятно, а вот exists звучит как предикат, о, я придумал название member-if и оказалось это оно и есть
в условии сказано "написать функцию exists (p x) ...". в книге говорилось как раз о реализации member-if
источник
22:32пожаловаться#20