ООП в лиспе не обеспечивает синтаксическую абстракцию

@asmquest · 14.02.2017, 18:02. **Показов** 4236. **Ответов** 73

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

Представим пример:

Code
1
2
theObject.copyDataTo(anotherObject)
theObject.copyDataFrom(anotherObject)

Это верный подход, потому что в синтаксисе мы выражаем пассивную и активную сторону процесса, а благодаря этому, мы видим по коду, что происходит на самом деле
А теперь смотрим на то, что принято в лиспе:

Lisp
1
copy-data(object1, object2)

Кто куда копирует? Без знания реализации функции мы этого не знаем. Даже если мы сами писали эту функцию, мы все равно можем забыть порядок аргументов, и лезть каждый раз для уточнения. Нет возможности абстрагироваться от реализации, нет возможности синтаксического выражения пассивной и активной стороны, нет возможности распознать, кто кому отсылает сообщение.

@asmquest · 17.02.2017, 00:58 **[ТС]**

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

На CLOS, просто напишешь реализацию метода collide под объекты типов asterioid и beautiful-spaceship и все дела.

Можно и так сделать. Можно заранее вместо ифов нахреначить функций, набить их в массив, и там менять, добавлять -- это будет аналог. можно даже напрямую функцию модифицировать, она доступна в рантайме. это все не важно.

@nullxdth · 17.02.2017, 01:05

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

ожно и так сделать. Можно заранее вместо ифов нахреначить функций, набить их в массив, и там менять, добавлять -- это будет аналог. можно даже напрямую функцию модифицировать, она доступна в рантайме. это все не важно.

Это будет, если будет, кривой аналоги мультиметодов. Тогда как в Lisp ничего не надо делать, просто бери и используй.

@korvin_ · 17.02.2017, 01:16

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

Дык ведь я доказывать ничего не собирался, интересно было самому разобраться Вердикт: я несу всякое бездоказательное говно, как обычно.

Fixed.

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

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

может

Не вижу доказательства. Очередное голословное утверждение.

@asmquest · 17.02.2017, 01:18 **[ТС]**

korvin_, ладно, мы тут побеседовали, и я осознал, что это может быть полезно, хотя не критично, и на Io реализуемо.
Короче хорош, у меня вторая бессонная ночь подряд. Посмотреть кинцо, успокоить нервы, и баиньки

@korvin_ · 17.02.2017, 01:19

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

и на Io реализуемо

Без-до-ка-за-тель-но-е пус-то-сло-ви-е.

@_JohnSmith · 17.02.2017, 03:33

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

Я ничего не понял

Блджад!, не удивительно =)

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

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

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

Да нет. Просто не смеши публику своими недоразумениями.

@asmquest · 18.02.2017, 21:23 **[ТС]**

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

Без-до-ка-за-тель-но-е пус-то-сло-ви-е.

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

Code
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
MultyMethod := List clone do(
     dispatch := method(args,
        argTypes := args map(type)
        self foreach(block, if(block argumentNames == argTypes, return block callWithArgList(args)))
     )
)
 
/////////////////////////////////////////////
 
Asteroid := Object clone 
SpaseShip := Object clone 
 
asteroid := Asteroid clone
spaceShip := SpaseShip clone
 
 
multyMethod := MultyMethod clone
collide := method(multyMethod dispatch(call evalArgs))
 
multyMethod push(block(Asteroid, SpaseShip, writeln("asteroid collide with spaceship")))
multyMethod push(block(SpaseShip, Asteroid,  writeln("spaceship collide with asteroid")))
 
collide(asteroid, spaceShip) #>>>>asteroid collide with spaceship
collide(spaceShip, asteroid) #>>>>spaceship collide with asteroid

@korvin_ · 18.02.2017, 22:57

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

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

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

Code
1
2
3
4
5
6
7
...
 
BattleStar := SpaceShip clone
battleStar := BattleStar clone
 
collide(asteroid, battleStar) # Your shit doesn't work
collide(battleStar, asteroid) # Your shit doesn't work

@asmquest · 18.02.2017, 23:09 **[ТС]**

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

Your shit doesn't work

ты про наследование что-ли говоришь? про наследование -- это другой вопрос.

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

Это типа того, как я видел где то пример на CL, где прога обсирается из-за того, что великий и могучий оптимизирует списки, приводя разные списки к одному, или что-то в этом роде. Из-за подобных уродливых хаков в программе на лиспе никогда нельзя рассчитывать н надежность

@korvin_ · 18.02.2017, 23:28

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

ты про наследование что-ли говоришь? про наследование -- это другой вопрос.

Это не другой вопрос. Без учёта наследования нет полиморфизма подтипов и «мультиметоды» твои не методы, а банальный хэшмап (T1, T2) -> proc

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

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

Ну так это тебе не Hello World'ы писать.

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

тут я со своим Io обосрался как всегда, ниасили

Что, даже сврхмощьность Io не помогла?

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

Это типа того, как я видел где то пример на CL, где прога обсирается из-за того, что великий и могучий оптимизирует списки, приводя разные списки к одному, или что-то в этом роде. Из-за подобных уродливых хаков в программе на лиспе никогда нельзя рассчитывать н надежность

«В огороде бузина, а в Киеве — дядька».

@asmquest · 18.02.2017, 23:51 **[ТС]**

korvin_, я повторяю, технически проблемы тут никакой нет, есть isKindOf, аnchestors и другие средства для такой реализации. Но сложность подобного интерфейса себя не оправдывает. если такое вдруг понадобиться, мне проще будет запилить это для конкретного случая. ООП подход предполагает делать простое простым, а сложное -- возможным, но не наоборот.
А полиморфизм подтипов в Io и без того есть, не переживай

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

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

сложность подобного интерфейса себя не оправдывает.

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

Добавлено через 6 минут
korvin_, да и перформанс это посадит, кстати говоря

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

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

Ну так это тебе не Hello World'ы писать.

сложность ради сложности не нужна

@nullxdth · 19.02.2017, 01:54

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

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

У стандартного комбинатора достаточно простой алгоритм. Сначала методы сортируются лексикографическим образом (где, грубо говоря, в качестве алфавита каждого аргумента - иерархия классов) и далее выбирается первых подходящий метод. Этот алгоритм, в принципе, интуитивно понятен и используется во всех известных мне языках реализующих мультиметоды.

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

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

сложность ради сложности не нужна

Когда действительно понадобятся мультиметоды (а таких задач на самом деле не мало), то костыли будут не лучшим и далеко не самым простым, в смысле поддержки, решением. А когда они тебе не нужны, то ты специализируешься по первому аргументу и получается одинаково по сложности, что и в ООП с message passing-ом.

@asmquest · 19.02.2017, 02:21 **[ТС]**

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

А когда они тебе не нужны, то ты специализируешься по первому аргументу и получается одинаково по сложности, что и в ООП с message passing-ом.

ну, там не по первому, а возможно и по двум получается

Code
1
collide(asteroid, spaceship) == asteroid collide(spaceship)

в message-passing - стиле тут для меня всмысле разруливания подтипов все однозначно, а вот в мультидиспетчеризации -- не особо.

@korvin_ · 19.02.2017, 06:42

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

А полиморфизм подтипов в Io и без того есть, не переживай

Только в твоё коде его нет. Как там тебе в луже сидится? Не простудись.

Новые блоги и статьи Все статьи Все блоги /
Скрипты Tampermonkey для CyberForum, ChatGPT, Claude и пр. Jin X 06.09.2026 Скрипты Tampermonkey для CyberForum, ChatGPT, Claude и пр. Работая с форумом и нейросетями в браузере часто хочется что-то подкорректировать или добавить какого-то функционала. Ниже прикреплён. . .	Программа опроса у.з. расходомера SLS-720F Argus19 02.09.2026 Программа опроса у. з. расходомера SLS-720F Программа опрашивает один раз в минуту три ультразвуковых расходомера SLS-720F через интерфейс RS-485 по протоколу Modbus RTU. Опрашиваются регистры. . .	Hyper-V: Компьютер должен поддерживать доверенный платформенный модуль 2.0. Maks 31.08.2026 При установке Windows 11 на виртуальную машину Hyper-V 2-го поколения вылезла такая ошибка: Решение: в параметрах виртуальной машины, в разделе "Безопасность" (Security) активировать флаг. . .	Архитектура биовида Стива в Майнкрафте: Зачем бонобо кубический каннибализм anaschu 30.08.2026 Кубический Вагинокапитализм в Minecraft: Математический инвариант ОДУ и рок Стивов-бонобо Главная задача разработанной «Модели Всего» — наглядно продемонстрировать наличие системной «судьбы». . .
Оттачиваю умение писать js программы. russiannick 30.08.2026 Проектом выходного дня стало написание Книги шифров Виженера. Итогом стала версия 200, синий туман. Синий туман назван так, потому что замораживает текст под собой. Нажатие синих кнопок управляют. . .	мат медиц модель 30. презентация проекта anaschu 27.08.2026 хоп хоп хоп хидахоп, а я кладую))	Как у меня протекала болезнь zorxor 27.08.2026 Здравствуйте, друзья! Эта запись блога предназначена именно для вас - для моих дорогих друзей, которые знали меня лично. Чтобы ответить на вопрос - а что же со мной произошло на самом деле? Я учился. . .	Нашел вот забавное видео о измерениях. Лучшее что я видел на эту тему kumehtar 26.08.2026 ILETXiw9bMQ Основная суть и тезисы по измерениям: 0D (Нулевое измерение): точка, не имеющая длины, ширины, высоты или объема. Объект не может перемещаться в 0D. 1D (Первое измерение):. . .

@asmquest Заблокирован
	17.02.2017, 01:18 [ТС]
	korvin_, ладно, мы тут побеседовали, и я осознал, что это может быть полезно, хотя не критично, и на Io реализуемо. Короче хорош, у меня вторая бессонная ночь подряд. Посмотреть кинцо, успокоить нервы, и баиньки 0