HomeLisp возможно ошибка

@_Valery_ · Регистрация: 15.08.2015

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

(length (car '(car (a b c))))

==> 0

LispWorks ошибку видит.

@nullxdth · 12.10.2016, 10:26

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

LispWorks ошибку видит.

Логично, вы пытаетесь взять длину не от последовательности, а от символа 'car.

@Catstail · 12.10.2016, 10:45

Опс... У меня (почему-то) в библиотеке length определена так:

Lisp
1
2
3
(defun length (x)
   (COND ((atom x) 0) 
             (T (PLUS 1 (length (CDR x))))

а надо:

Lisp
1
2
3
(defun length (x)
   (COND ((null x) 0) 
             (T (PLUS 1 (length (CDR x))))

@korvin_ · 12.10.2016, 19:54

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

У меня (почему-то) в библиотеке length определена так

Может для того, чтобы length от неправильного списка считала длину без ошибки?

Типа

Lisp
1
(length '(1 2 . 3)) ; => 2

Впрочем, ClozureCL выдаёт ошибку, не знаю как в стандарте определено это поведение.

@nullxdth · 12.10.2016, 23:28

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

Впрочем, ClozureCL выдаёт ошибку, не знаю как в стандарте определено это поведение.

type-error если не proper sequence по стандарту. Всё правильно выдаёт.

@_Ivana · 13.10.2016, 02:26

Вспоминается недавние умиления народа по поводу length в хаскеле

Сначала были наборы типов, каждый из которых имел свою length (кто-то под именем size) и все это было разрозненно. А потом разработчики стандартной библиотеки придумали класс типов Foldable - однопараметрические типы, поддерживающие операцию свертки, и сделали все (какие было можно) типы инстансами этого класса. И length получился для всех них сразу автоматически, как свертка типа по инкременту от нуля. И все шикарно, вычисляется для любого как угодно навороченного типа. Если не считать некоторого недоумения новичков, почему

Haskell
1
2
length (1,2) == 1
length (1,2,3) == 1

и других забавных проявлений

Новые блоги и статьи Все статьи Все блоги /
Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .	Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .	Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .
SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .	SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip Сканируйте QR-код на мобильном и вы увидите, что появится джойстик для управления главным героем. . . .	Реалии Hrethgir 01.03.2026 Нет, я не закончил до сих пор симулятор. Эта задача сложнее. Не получилось уйти в плавсостав, но оно и к лучшему, возможно. Точнее получалось - но сварщиком в палубную команду, а это значит, в моём. . .	Ритм жизни kumehtar 27.02.2026 Иногда приходится жить в ритме, где дел становится всё больше, а вовлечения в происходящее — всё меньше. Плотный график не даёт вниманию закрепиться ни на одном событии. Утро начинается с быстрых,. . .

@_Valery_ 2 / 2 / 0 Регистрация: 15.08.2015 Сообщений: 29

	HomeLisp возможно ошибка 12.10.2016, 09:16. Показов 625. Ответов 5 Метки нет (Все метки) (length (car '(car (a b c)))) ==> 0 LispWorks ошибку видит. 2