Clojure Реализация ф-ций CONS, CAR, CDR (Sheme,CLisp)

@dserp18 · Регистрация: 20.01.2013

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

В книге SICP описан алгоритм реализации функций CONS,CAR,CDR на языке Sheme

Lisp
1
2
3
4
5
6
7
8
define (cons x y)
(define (dispatch m)
(cond ((= m 0) x)
((= m 1) y)
(else (error "Аргумент не 0 или 1 -- CONS" m))))
dispatch)
(define (car z) (z 0))
(define (cdr z) (z 1))

Вот как я реализовал в CLisp

Lisp
1
2
3
4
5
6
7
8
9
10
(defun cons(x y) 
(defun dispatch (m)
(cond 
((eq m 0) x)
((eq m 1) y)
((and(not (eq m 1))(not(eq m 0))) "Аргумент не 0 или 1")
))
)
(defun car(z)(funcall z 0))
(defun cdr(z)(funcall z 1))

Но, наверное, этот же алгоритм можно реализовать с помощью глобальных переменных defvar
Что-то типа этого

Lisp
1
2
3
4
5
6
7
8
9
10
11
12
(defvar m 0)
(defvar x 0)
(defvar y 0)
(defun dispatch (m)
(cond 
((= m 0) x)
((= m 1) y)
((> m 1) "Arg is not 0 or 1")
))
(defun cons(x y) (dispatch m))
(defun car(z)(funcall z  0))
(defun cdr(z)(funcall z  1))

Но тут что-то не то. Как вызвать dispatch из cons,вызвать cons из car или cdr

@_Ivana · 11.11.2016, 20:27

Нет, никакого двумерного синтаксиса и отступозависимости - все одномерно и парсуемо по лиспу - в списки.

@vlisp · 11.11.2016, 21:19

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

парсуемо по лиспу

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

@_Ivana · 11.11.2016, 22:43

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

глупости

в этой теме пишете вы, причем с завидной настойчивостью. Но это никому не вредит: ТС-у все равно, а остальным - забава

@Catstail · 12.11.2016, 13:34

Не по теме:

vlisp, _Ivana, - не ругайтесь...

@dserp18 · 15.11.2016, 22:20 **[ТС]**

Вот если бы _Ivana предоставил больше информации по реализации своего диалекта Lisp'а на Java, начав с описания фундаментальных концепций самой Java, это помогло бы изучающим лучше понять и Lisp и Java, но судя по публикациям на Хабре он этого делать не собирается

@_Ivana · 16.11.2016, 01:33

dserp18, хорошо, давайте подумаем над некоторыми вопросами.

1. Где предоставлять эту информацию?

- на хабре? не тот формат, и другие причины против этого.

- на этом форуме? можно, но я и так создал несколько тем по тем вопросам, которые кажутся мне интересными. Как вы заметили, здесь нет подразделов (хотя разных версий лиспов очень много). Даже модератор не создает свой отдельный раздел по HomeLisp, хотя по нему вопросы возникают у студентов регулярно. Хотя в принципе возможны 2 варианта - в отдельно созданных подразделах или в общем потоке тем.

- на отдельном персональном сайте, как HomeLisp? У меня нет сайта, и создавать его под этот проект имхо неоправданно.

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

- где-то еще? думаю, предыдущие варианты дают неплохой выбор, можно ограничиться ими.

2. Что, о чем, и в каком объеме рассусоливать?

Я совершенный дилетант в джаве, не особый знаток лиспа и схемы, ну что-то тривиальное написать могу. Вопрос в том - что? На хабре мне один участник сказал, что тема про реализацию TCO заслуживает отдельной статьи - я ее написал. Некоторое время назад я вообще написал второй интеративный эвалюатор рядом с рекурсивным - в нем у меня никогда не случается стековерфлоу в принципе. И у меня есть флажок в интерпретаторе - каким эвалюатором вычислять, пользователь может выбирать. Интересно ли это? Думаю, некоторым будет интересно.

ЗЫ есть множество реализаций разных лиспов на разных языках: https://github.com/kanaka/mal и много других. На фоне этого изобилия мой проект не является чем-то уникальным - он не самый быстрый, и т.п. Единственно что - наверное реализация на haskell может похвастаться лаконичностью - 250 строк на все на свете вместе в парсером. Поэтому я не уверен, что имеет смысл писать пространные статьи, описывающие никому не нужный очередной интерпретируемый лисп-диалект.

ЗЗЫ и конечно вы сами можете создать здесь тему, где оформите интересующие вас вопросы, а я отвечу. Будет прямая обратная (каламбурчик) связь, по запросам, без гаданий с моей стороны что интересно читающим

@dserp18 · 18.11.2016, 23:44 **[ТС]**

Спасибо. Понял )) Пока пытаюсь "продраться через систему типов" на Hasckell. А вообще, с чего надо начать работу по реализации собственного диалекта, например, на Java?

@_Ivana · 18.11.2016, 23:53

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

Пока пытаюсь "продраться через систему типов" на Hasckell

имхо, это порой весьма непросто

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

с чего надо начать работу по реализации собственного диалекта

диалекта чего? Лиспа - со ссылок, которые я в изобилии давал в этом разделе форума. И с книжки "Лисп ин смалл писиз" Кристиана Кеннека. Схемы - с половины вышеупомянутых ссылок, с "Райт ё схеме ин 48 хаурс" и конечно же СИКП. Собственно, мне хватило СИКПа и трети "Райт ё схеме". Но для всяких оптимизирующих компиляторов/интерпретаторов надо курить более серьезные вещи. Хотя то же ТСО можно и самому на коленке сделать.

@dserp18 · 14.01.2017, 21:29 **[ТС]**

Хочу обратить внимание участников форума на онлайн курсы по изучению функционального программирования
Lisp
https://openedu.ru/
Haskell
http://welcome.stepik.org/ru
Scala
https://ru.coursera.org/
Курсы условно-бесплатные (оплачивается только сертификат)

@asmquest · 15.01.2017, 10:30

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

Эта реализация абстракции списка

это абстракция пары, а не списка

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

через замыкания

замыкания, как таковые, тут не при чем, просто в схеме нет нормальной объектной нотации и все приходится писать через жопу, имитируя объекты замыканиями

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

меня в свое время тоже весьма впечатлила и вдохновила

Там нет ничего особенного. У новичков глаза на лоб лезут из-за подобных финтов ушами из-за того, что в схеме слишком много сахарной подковерной возни, она форсит подход, когда о простых вещах приходится думать в сложной манере, продираясь сквозь дебри неочевидного синтаксиса. Если бы вы провели декомпозицию данного кода, и воспроизвели бы его без этого блевотного "функционального" сахара, сразу стало бы все очевидно. Вот эквивалент, написанный на Io:

JavaScript
1
2
3
4
5
6
7
8
9
10
11
12
13
Pair := Object clone do(
  first := method(x)
  rest := method(y)
  cons := method( x, y,
     pair := self clone
     pair x := x
     pair y := y 
     pair
  )
)
 
Pair cons(1, 2) first #>>>> 1
Pair cons(1, 2) rest  #>>>> 2

Абсолютно прозрачный код

@nullxdth · 17.01.2017, 19:30

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

Вот как я реализовал в CLisp

Это кривая реализация.

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

Но, наверное, этот же алгоритм можно реализовать с помощью глобальных переменных defvar

Не стоит.

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

замыкания, как таковые, тут не при чем, просто в схеме нет нормальной объектной нотации и все приходится писать через жопу, имитируя объекты замыканиями

Для красивой реализации этой задачи не нужен никакой ООП. Достаточно замыканий.
А так-то Scheme которая в ходу с ООП всё не плохо: https://docs.racket-lang.org/r... class.html

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

У новичков глаза на лоб лезут из-за подобных финтов ушами из-за того, что в схеме слишком много сахарной подковерной возни

В Scheme как и в CL минимум синтаксиса и следовательно с синтаксисом нет никакой "подковёрной возни", скорее наоборот - всё понятно, единообразно и симметрично.

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

и воспроизвели бы его без этого блевотного "функционального" сахара

Пример "блевотного функционального сахара" можно?

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

Вот эквивалент, написанный на Io

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

Абсолютно прозрачный код

Я бы не сказал, куча каких-то сущностей беспонтовых, методы, клоны, да self-ы

Lisp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
(defun cons% (car cdr)
  (lambda (sym)
    (ecase sym
      (car car)
      (cdr cdr))))
 
(defun car% (c)
  (funcall c 'car))
 
(defun cdr% (c)
  (funcall c 'cdr))
 
(let ((xs (cons% 1 (cons% 2 (cons% 3 nil)))))
  (car% (cdr% (cdr% xs))))
 
;; 3

Вот. Чисто и понятно

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

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

числа нельзя сравнивать с помощью eq (это оговорено в стандарте), нужно использовать или eql

Хех. И правда. А я не знал. Лет 10 уже на CL пишу и не знал.
В clhs есть пример вводящий в заблуждение:
http://www.lispworks.com/docum... y/f_eq.htm

Lisp
1
(eq 3 3) =>  true

Хотя далее идёт примечание:

An implementation is permitted to make ``copies'' of characters and numbers at any time. The effect is that Common Lisp makes no guarantee that eq is true even when both its arguments are ``the same thing'' if that thing is a character or number.

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

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

Ну, наверное, можно сделать такую реализацию Лиспа с отступами как в Python. Это уже кому что больше нравится.

Золотце делал как-то на 0chan-е такое, помнится

@antares0 · 18.01.2017, 22:43

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

Ну, наверное, можно сделать такую реализацию Лиспа с отступами как в Python. Это уже кому что больше нравится.

Вот не надо делать отдельную и не с чем не совместимую

А просто python-like синтаксис для CL на отступах вот - cl-2dsyntax

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

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

Хочу обратить внимание участников форума на онлайн курсы по изучению функционального программирования ...

Только лучше бы такие ссылки складывать хотя бы в прикрепленную тему о литературе. А в этой они утонут и о них никто не узнает

@asmquest · 18.01.2017, 23:56

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

числа нельзя сравнивать с помощью eq (это оговорено в стандарте)

lol, если нельзя сравнивать, то какого же хрена он сравнивает? Ах, да, это потому что там.

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

всё понятно, единообразно и симметрично.

Причем настолько все всё понятно, единообразно и симметрично, что

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

Лет 10 уже на CL пишу и не знал.

Добавлено через 34 минуты
nullxdth, кстати, прямое следствие отсутствия нормального ООП и полиморфизма. Дабы не плодить сущности, можно было бы унифицировать все одним словом, скажем equal, и это диспетчирезовалось бы в зависимости от того, какой тип/подтип получает сообщение.

@nullxdth · 19.01.2017, 00:14

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

если нельзя сравнивать, то какого же хрена он сравнивает?

А что, не должна? Какое поведение на твой взгляд было бы логичным? eq проверяет идентичность объектов. Просто по стандарту допускается такая реализация CL, где eq на одинаковых (с виду

) числах или символах может давать nil. Причину цитировал.

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

Причем настолько все всё понятно, единообразно и симметрично, что

Моё незнание не показатель. Я много чего не знаю.

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

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

кстати, прямое следствие отсутствия нормального ООП и полиморфизма

Ого! Видимо, не в курсе, что на сегодняшний день самая фичастая реализация ООП (в мире

) в Common Lisp. CLOS называется. Вот теперь будешь знать.

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

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

Дабы не плодить сущности, можно было бы унифицировать все одним словом

Ага. И проиграть по производительности на runtime диспетчеризации.

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

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

equal

eq, eql, equal, equalp
Можно выбрать меру обобщений и использовать в зависимости от ситуации.

@asmquest · 19.01.2017, 00:16

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

Какое поведение на твой взгляд было бы логичным?

Падать с ошибкой. Иначе отладка может продлиться на годы.

@nullxdth · 19.01.2017, 00:17

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

А просто python-like синтаксис для CL на отступах вот - cl-2dsyntax

Забавно.

@asmquest · 19.01.2017, 00:18

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

И проиграть по производительности

CL все еще считается языком высокого уровня, или я отстал от жизни?

@nullxdth · 19.01.2017, 00:22

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

Падать с ошибкой.

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

@asmquest · 19.01.2017, 00:30

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

Фактически eq - это сравнение адресов (на сколько я понимаю)

Если я не ошибаюсь, числа и строки в CL являются примитивами. Поэтому, это еще умудриться надо сделать так, чтобы это не работало для чисел и строк единообразно. Кривизна дизайна наружу тут торчит. Любые примитивные типы можно легко сравнить по адресам.

@nullxdth · 19.01.2017, 00:32

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

CL все еще считается языком высокого уровня, или я отстал от жизни?

Хм. А с каких пор повелось считать высокоуровневые языки обязались быть тормозными?
Common Lisp - язык сверхвысокого уровня и вместе с тем промышленного рода. Он проектировался с учётом написания эффективных реализаций.

Новые блоги и статьи Все статьи Все блоги /
Калькулятор для расчета родства russiannick 07.08.2026 1. Задача: Создать калькулятор для расчета родства. Родственных связей существует 8 ступеней, такие как: p - отец P - мать q - муж Q - жена b - брат B - сестра s - сын S - дочь	Мир по моей воле kumehtar 07.08.2026 Когда-то кажется, что всё просто. Ты весь такой светлый. Причиняешь добро. Борешься за справедливость в этом тёмном мире. Потом начинаешь замечать одну неприятную вещь. Почти каждый хороший. . .	Кредитный калькулятор Maks 05.08.2026 Решение задачи по прикладной информатике средствами 1С. Задача: Напишите приложение-калькулятор, которое помогает рассчитывать параметры кредита для аннуитетного и дифференцированного видов. . .	У нас сейчас поговорку "Опять 25" нужно переделать на "Опять +35". kumehtar 04.08.2026 С ностальгией вспоминаю времена моего детства, когда у нас и правда +25 - была максимальная температура летом. Раньше +25 °C реально казались вершиной жары, когда можно было весь день пропадать на. . .
Как ИИ начал спорить и врать (возможно почуяв опасность для себя от индустрии - уход от электроники). Hrethgir 04.08.2026 Недельный диалог, на фоне событий с НПЗ. Да, из спирта можно получать бензин, и это не сложно. Но потом в схеме я решил избавиться от насоса, при этом полностью сделав контроль подачи спирта в. . .	Термопринтер QR701 Argus19 03.08.2026 Термопринтер QR701 Купил два термопринтера QR701. На сэлф-тесте написано: Language: PC936 (GB18030). Что означает, что принтеры могут печатать только латиницу и китайские иероглифы. Так же. . .	Создание формы заимствованного документа Maks 03.08.2026 Задача: Необходимо создать собственную форму заимствованного документа. На форме должен быть реквизит "Покупатель", а также табличная часть со следующими реквизитами: - Расчетный счет покупателя. . .	Задача предоставления скидок покупателям Maks 03.08.2026 Задача: В документе "Продажи" необходимо реализовать функционал предоставления скидок покупателям. Скидка должна автоматически рассчитываться и подставляться в соответствующее поле при выборе. . .

@_Ivana 4949 / 2289 / 287 Регистрация: 01.03.2013 Сообщений: 5,991 Записей в блоге: 32
	11.11.2016, 20:27
	Нет, никакого двумерного синтаксиса и отступозависимости - все одномерно и парсуемо по лиспу - в списки. 0

@Catstail
	12.11.2016, 13:34
	Не по теме: vlisp, _Ivana, - не ругайтесь... 0

@dserp18 28 / 13 / 1 Регистрация: 20.01.2013 Сообщений: 145 Записей в блоге: 8
	15.11.2016, 22:20 [ТС]
	Вот если бы _Ivana предоставил больше информации по реализации своего диалекта Lisp'а на Java, начав с описания фундаментальных концепций самой Java, это помогло бы изучающим лучше понять и Lisp и Java, но судя по публикациям на Хабре он этого делать не собирается 0

@_Ivana 4949 / 2289 / 287 Регистрация: 01.03.2013 Сообщений: 5,991 Записей в блоге: 32
	16.11.2016, 01:33
	dserp18, хорошо, давайте подумаем над некоторыми вопросами. 1. Где предоставлять эту информацию? - на хабре? не тот формат, и другие причины против этого. - на этом форуме? можно, но я и так создал несколько тем по тем вопросам, которые кажутся мне интересными. Как вы заметили, здесь нет подразделов (хотя разных версий лиспов очень много). Даже модератор не создает свой отдельный раздел по HomeLisp, хотя по нему вопросы возникают у студентов регулярно. Хотя в принципе возможны 2 варианта - в отдельно созданных подразделах или в общем потоке тем. - на отдельном персональном сайте, как HomeLisp? У меня нет сайта, и создавать его под этот проект имхо неоправданно. - на моей страничке гитхаба, где выложен весь исходный кот проекта? Вот там да - самое место выложить больше детальной информации. Вопрос в том - интересно ли это кому-либо, есть ли в этом смысл? - где-то еще? думаю, предыдущие варианты дают неплохой выбор, можно ограничиться ими. 2. Что, о чем, и в каком объеме рассусоливать? Я совершенный дилетант в джаве, не особый знаток лиспа и схемы, ну что-то тривиальное написать могу. Вопрос в том - что? На хабре мне один участник сказал, что тема про реализацию TCO заслуживает отдельной статьи - я ее написал. Некоторое время назад я вообще написал второй интеративный эвалюатор рядом с рекурсивным - в нем у меня никогда не случается стековерфлоу в принципе. И у меня есть флажок в интерпретаторе - каким эвалюатором вычислять, пользователь может выбирать. Интересно ли это? Думаю, некоторым будет интересно. ЗЫ есть множество реализаций разных лиспов на разных языках: https://github.com/kanaka/mal и много других. На фоне этого изобилия мой проект не является чем-то уникальным - он не самый быстрый, и т.п. Единственно что - наверное реализация на haskell может похвастаться лаконичностью - 250 строк на все на свете вместе в парсером. Поэтому я не уверен, что имеет смысл писать пространные статьи, описывающие никому не нужный очередной интерпретируемый лисп-диалект. ЗЗЫ и конечно вы сами можете создать здесь тему, где оформите интересующие вас вопросы, а я отвечу. Будет прямая обратная (каламбурчик) связь, по запросам, без гаданий с моей стороны что интересно читающим 1

@dserp18 28 / 13 / 1 Регистрация: 20.01.2013 Сообщений: 145 Записей в блоге: 8
	18.11.2016, 23:44 [ТС]
	Спасибо. Понял )) Пока пытаюсь "продраться через систему типов" на Hasckell. А вообще, с чего надо начать работу по реализации собственного диалекта, например, на Java? 0

@dserp18 28 / 13 / 1 Регистрация: 20.01.2013 Сообщений: 145 Записей в блоге: 8
	14.01.2017, 21:29 [ТС]
	Хочу обратить внимание участников форума на онлайн курсы по изучению функционального программирования Lisp https://openedu.ru/ Haskell http://welcome.stepik.org/ru Scala https://ru.coursera.org/ Курсы условно-бесплатные (оплачивается только сертификат) 1

Clojure Реализация ф-ций CONS, CAR, CDR (Sheme,CLisp)

Решение