Квайн безполезного кода - безполезный квайн.)

Докажи

Найдите все ошибки в сонной реализации двусвязного списка на схеме)

Что именно доказать? Что код HQ9+ нигде невозможно применить с пользой или суть выражения без привязки к языку HQ9+?

Второе

Типы данных можно реализовать на любом яп. Обычно по ним не сравнивают

А ты сам учишь?

Вот краткое введение

Задал этот вопрос, потому что читал статью, где автор восхищался Рефалом из-за его двусвязных списков и превозносил его над Прологом и Лиспом. Поэтому решил спросить, что по этому поводу думают лисперы.

Что за статья? Что именно ему нравится?

Если смогу найти, скину вам ссылку здесь. Вроде в закладках сохранял.

Вот нашел одну статью из тех, что читал:
http://www.math.bas.bg/bantchev/articles/refal-pfp.pdf
Здесь читайте с 12 стр. до конца. С 1 по 11 стр. читать не обязательно.

Кто какую реализацию Scheme использует?

JavaScript. Ха-ха

Racket - и для прикладных, и для учебных задач. Причина - качество доки и образованное комьюнити, кроссплатформенность и наличие IDE для винды (что нужно некоторым коллегам и ученикам), Racketscript, Hackett етп.  А раньше больше писал для GambitC, и сейчас ещё эксперементирую с Gerbil, в тч пытаюсь писать мобильное приложение, портируя Lambdanative. Ну и конечно - Guile, восновном для Guix System, думаю, могут появятся другие применения. Очень много возился с BiwaScheme, и ещё буду, т.к. есть ряд применений на работе.

Да нашел. Ну там много нюансов. Двусвязные спискы сложнее реализовать и они занимают больше памяти (если нам это важно). Списки хороши для функциональных языков тем что можно держать переменные иммутабельными (персистентные структуры данных). Если нам важно иметь случайный доступ, мы воспользуемся скорее всего массивом, а не dll. Но вообще да, наверно dll лучше sll

list'ы состоят из cons'ов.

Пишешь на Scheme на работе? Везёт ☺️

Так я же сам решаю, на чём мне работу писать! К тому же, упомянутая часть на BiwaScheme применяется для проекта про сам Scheme, так что тут рекурсия получается, а вот Racket и Guix как-раз решают несколько практичных процессов ежедневных и также служат средой для моделирования прикладных DSL или даже скриптов автоматизации. Ну а слона то я и не приметил: EMACS конечно забыл упомянуть - это и автоматизация ежедневной рутины, и тайловая среда UI (exwm), и клавиатурные интерфейсы к языковому серверу (lsp), в целом Unix и Web-сервисам - exwm,magit,mu4e,elfeed,prodigy,docker,org, babel, R, UML... всё это конфигурируется на Emacs Lisp.