Мультидиспетчеризация в Лиспе

Допустим, имеем иерархию
и добавлены следующие правила
Какой из случаев, тип или подтип должен выбрать диспетчер, и почему, какое этому семантическое основание

И что будет, если мы засунем в один мультиметод одновременно экземпляры типа и подтипа? Что должен сделать диспетчер в этом случае?

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

И наконец, чем оправданна такая экстремальная забубенность? Есть ли реальные кейзы для этого, или это все сделано для галочки, и никто реально с этим сомнительным инструментом не связывается?

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

Сообщение от asmquest Насколько надежным будет приложение, с использованием такого инструмента, учитывая то, что программисту трудно постоянно быть в напряжении и отслеживать возможные конфликты?

и учитывая то, что конфликтовать могут разные модули?

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

Сообщение от asmquest И что будет, если мы засунем в один мультиметод одновременно экземпляры типа и подтипа? Что должен сделать диспетчер в этом случае?

и, если, допустим, будет еще и конфликт такого рода:

Где тип и подтип подтипы одного типа(надтипа)
?

Не является ли это все неоправданным переусложнением? Стоит ли овчинка выделки?

Добавлено через 13 минут
Короче говоря, хочется получить четкую и ясную схему расстановки приоритетов при возникновении разного рода конфликтов, и ясное семантическое обоснование этой схеме с точки зрения проектирования

0

asmquest, ну, что же... Код сопоставим с Лисповским. Никаких "фундаментальных преимуществ" я не вижу. Полагаю, что если выполнить беспристрастное сравнение (не в духе Глеба Капустина), то подтвердится мой вывод - в каких-то случаях изящнее Io, в каких-то - Лисп.

Сообщение от asmquest я вообще то в байтодрочерстве не силен, я даже этот алгоритм не знаю, и знать не хочу. Да и Io для несколько других задач, для задач проектирования запилен.

- ценное признание... Но если ты не умеешь программировать, то какой смысл тебя вообще слушать?

0

Сообщение от Catstail Но если ты не умеешь программировать

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

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

Сообщение от Catstail то какой смысл тебя вообще слушать?

дык, не слушай, иди гуляй

0

Сообщение от asmquest гы, кто ж знал, что в лиспе допотопная реализация

Что значит допотопная реализация? Реализация именно такая, какая и должна быть. В Lisp список - это действительно односвязный список. Если нужен одномерный массив произвольного доступа, то он, естественно, есть. Так и называется - vector.
Это только во всяких малограмотных языках (навроде, Io или Python) списками называют всё что угодно, но только не список.

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

Сообщение от asmquest я вообще то в байтодрочерстве не силен

Какое отношение qsort имеет к байтодрочерству? Или ты этим термином называешь все что не осилил (то, что сложнее хеллоуворлдов)?

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

Сообщение от Catstail Io занятен, но интеллекта в него вложено меньше, чем в Лисп (он гораздо моложе Лиспа).

Зато пафоса вложено как надо

Сообщение от Catstail Претендовать на универсальность Io пока никак не может

Да и не претендует, на самом деле.

Сообщение от Catstail он и используется достаточно ограниченно

Не используется вообще, надо сказать.

Я вообще не против различных экспериментальных языков с идеями. Но в Io нет вообще ничего интересного, по крайней мере для меня.

1

Сообщение от asmquest дык, не слушай, иди гуляй

- "слушать" (даже явную чушь) - моя обязанность.

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

Сообщение от asmquest то есть, вот это вот для тебя программирование????

- на конкретный вопрос даю конкретный ответ: для меня "программировать" - значит писать программный код сложности от qsort и выше. А для тебя?

0

Сообщение от nullxdth сложнее

сложность такая сложная, lol

Сообщение от nullxdth Так и называется - vector

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

The vector function allows you to make fixed-size vectors with specific values.

However, these are literal vectors, so modifying them is not defined in LISP

Therefore, for programming, you should always use the vector function, or the more general function make-array to create vectors you plan to modify.

и т.д и т.п

https://www.tutorialspoint.com... ectors.htm

Не думай что вектор сможет сделать для тебя, думай что ты сможешь сделать для вектора!

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

Сообщение от Catstail А для тебя?

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

0

Сообщение от asmquest ага, почитал про него. Куча особых случаев и костылей, очень идиоматично для лиспа

Ага. Ведь когда действительно что-то программируешь, необходимо иметь много структур данных и способов их использования, в зависимости от намерений. Но понятно, что такое разнообразие для игрушечных языков - overkill. На то они и игрушечные языки - не для разработки ПО. Для потехи.

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

Сообщение от asmquest разного рода сортировщики называются программистами лишь по недоразумению

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

1

Сообщение от nullxdth необходимо иметь много структур данных

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

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

Сообщение от nullxdth что алгоритмы сортировки фундаментальны

Ну иди посортируй. Нервы успокаивает не хуже вязания на спицах.

0

Сообщение от asmquest ага, почитал про него.

- ты должен быть благодарен другим участникам... (nullxdth в частности). Благодаря ему, ты прочитал про векторы в Лиспе... Видишь, как хорошо! Только зачем с пафосом спорить на темы, в которых не компетентен?

Сообщение от asmquest Программирование -- это инженерия

- конечно! И давай представим себе инженера, не знающего (и не желающего знать!) сопромат, строительную механику и т.п. Что такой инженер "наинженерит"? А это - твой портрет (только с заменой механических дисциплин на айтишные). Портрет будет совсем полным, если добавить еще приличное ЧСВ. Десятиклассник, выучивший названия фирм-производителей "материнок" и другого оборудования, никак не может быть признан инженером-электрощиком. Это тоже твой портрет (только с другого ракурса).

0