Оберон-клуб «ВЄДАsoft» • Просмотр темы - Free Oberon официально выпущен

Сообщения без ответов | Активные темы

Список форумов » Проекты участников и друзей форума » Ефимов Артур Игоревич (Arthur Yefimov, kekc_leader)

Часовой пояс: UTC + 2 часа

Free Oberon официально выпущен

Страница 4 из 4

[ Сообщений: 39 ]

На страницу Пред. 1, 2, 3, 4

Версия для печати

Пред. тема | След. тема

Автор

Сообщение

akron1

Заголовок сообщения: Re: Free Oberon официально выпущен

Добавлено: 24 янв 2018, 08:57

Сообщения: 35

prospero78su писал(а):

akron1 писал(а):

Код: "OBERON"

Expand Code | Выделить всё

list.clear(list);
list.add(list, item);

А если это будет выглядеть вот так:

Код: "OBERON"

Expand Code | Выделить всё

 
мЦепь.Очистить(уЦепь);
мЦепь.Зв_Добав(уЦепь, уЗвено);

В любом случае в методах необходимо передавать ссылку на себя.
Во второй строке для list -- непонятно,что это -- вариант от мене лишён данного недостатка.
Кроме того, в секции BEGIN модуля можно проводить инициализацию самого модуля, а для типа туЦепь в модуле модЦепь можно предусмотреть процедуру Создать():туЦепь, где членам типа туЦепь -- процедурным переменным можно присвоить ссылки на процедуры из модуля. Но! передавать ссылку на себя всё-равно придётся.
Так-что можно, но не совсем понятно зачем.

З.Ы. Я исхожу из того, что В Оберон-07 (да и в любом Обероне) нет понятия "класс". Потребность в нём перекрывается понятием "модуль". Типы разделяют семантику классов, но Вирт чётко разделяет код и данные. Типы относятся к данным.

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

Код: "OBERON"

Expand Code | Выделить всё

a.b[i].c[j].clear(a.b[i].c[j]);

Вернуться к началу

vlad

Заголовок сообщения: Re: Free Oberon официально выпущен

Добавлено: 24 янв 2018, 09:13

Сообщения: 108

prospero78su писал(а):

akron1 писал(а):

Код: "OBERON"

Expand Code | Выделить всё

list.clear(list);
list.add(list, item);

А если это будет выглядеть вот так:

Код: "OBERON"

Expand Code | Выделить всё

 
мЦепь.Очистить(уЦепь);
мЦепь.Зв_Добав(уЦепь, уЗвено);

В таком виде теряется полиморфизм и, соответственно, расширяемость системы.

prospero78su писал(а):

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

Вернуться к началу

prospero78su

Заголовок сообщения: Re: Free Oberon официально выпущен

Добавлено: 24 янв 2018, 12:39

Администратор

Сообщения: 86

akron1 писал(а):

Код: "OBERON"

Expand Code | Выделить всё

a.b[i].c[j].clear(a.b[i].c[j]);

Ох, Антон. Если в моей конторе я увижу такой код -- изобью линейкой по рукам до посинения))

По поводу лишнего параметра явной передачей -- я, например, за. Периодически разговариваю с далеко уже не студентами, и понимаю, что они не понимают, каким образом происходит передача ссылки "на себя" в метод. Я для себя решил -- в моём коде не будет никакой магии. Раз кто-то не понимает как это работает -- значит от такого средства надо отказаться. У нас и так хватает обезьян с гранатами на улицах.

akron1 писал(а):

Свою позицию по этому вопросу я объяснил чуть выше. Я исхожу из Ленинского "ни один солдат не должен быть в неведении в отношении того, по каким принципам сконструировано и как действует его оружие". Тут же могу напомнить о том, RTTI далеко не худенький зверёк, понимание виртуальных методов у многих отсутствует и пользоваться ими не умеют. Если есть желание переопределить метод -- сделай его вызов явно. Из другого модуля, который описывает соответствующий тип. Контроля -- больше, сюрпризов -- меньше.

vlad писал(а):

В таком виде теряется полиморфизм и, соответственно, расширяемость системы.

Полиморфизм в серьёзном ПО -- не очень хорошая штука. А расширение системы можно делать и другим способом, например, обмен типизированными сообщениями. Старое не трогаем, новое само по себе. SOLID во всей красе))

Открываем раздел 9.5 репорта:

Цитата:

Тип T выражения Case (Case переменная) также может быть типом записи или указателя. Тогда метки Case должны быть расширениями Т, а в предписаниях Si, помеченных Ti, переменная Case рассматривается как тип Ti.
Пример:

Код: "OBERON"

Expand Code | Выделить всё

 
TYPE R_ = RECORD a:
INTEGER END; 
R0 = RECORD (R_)
b: INTEGER
END; 
  	R1 = RECORD (R_)
b: REAL
END; 
 	 R2 = RECORD (R_)
b: SET
END; 
 	P = POINTER TO R_; 
  	P0 = POINTER TO R0; 
  	P1 = POINTER TO R1; 
 	P2 = POINTER TO R2; 
VAR
p: P; 
CASE p OF 
  P0: p.b := 10 | 
  P1: p.b := 2.5 | 
  P2: p.b := {0, 2} 
END

Хм. Прямое расширение через проверку типов. Что я делаю не так?)))

_________________
Действия профессионала предсказуемы. Но в мире полно любителей!

Вернуться к началу

vlad

Заголовок сообщения: Re: Free Oberon официально выпущен

Добавлено: 24 янв 2018, 21:23

Сообщения: 108

prospero78su писал(а):

Ох, Антон. Если в моей конторе я увижу такой код -- изобью линейкой по рукам до посинения))

А что за контора такая, пишущая на обероне, если не секрет?

prospero78su писал(а):

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

Все они программисты или может какие эффективные менеджеры? В питоне, кстати, эта ссылка "на себя" тоже явно присутствует (за что и критикуется некоторыми), но вот такого безобразия, как привел Антон, в месте вызова все равно нет. Я почему-то подозреваю, что ты сам такую херь не пишешь, используя вовсю ББ-ные интерфейсы (если пишешь на обероне).

Во всех вменямых ЯП с поддержкой ООП методы переопределяются явно. Херней с ручной инициализацией процедурных переменных занимаются сишники (не путать с С++) и суровые оберонщики (O7).

prospero78su писал(а):

vlad писал(а):

В таком виде теряется полиморфизм и, соответственно, расширяемость системы.

Меня пугают люди, которые сорят терминами не понимая их значения. Или не понимая как оно используется на практике, а заучив формулировку. Почитай подробнее про букву "D" в SOLID. Потом поговорим, почему твое расширение через проверку типов не всегда применимо.

Вернуться к началу

prospero78su

Заголовок сообщения: Re: Free Oberon официально выпущен

Добавлено: 29 янв 2018, 12:38

Администратор

Сообщения: 86

vlad писал(а):

А что за контора такая, пишущая на обероне, если не секрет?

Пишущая -- громко сказано. Куда как чаще -- совсем не пишущая. Услуги программистов в Калининградской области не нужны от слова совсем. Изолента, скотч и проволока -- востребованы гораздо больше.
ООО "КБК Техника". Директор я там)) В каталогах есть.

vlad писал(а):

Все они программисты или может какие эффективные менеджеры?

Заявляются как программисты. Что-то вроде знают. Циклы и операторы наляпать могут. Задавать правильные вопросы -- мало кто может, а отвечать на просто вопросы -- совсем нет.

vlad писал(а):

В питоне, кстати, эта ссылка "на себя" тоже явно присутствует (за что и критикуется некоторыми), но вот такого безобразия, как привел Антон, в месте вызова все равно нет.

Не знаю. Может это привычка, но ссылка "на себя" в питоне меня совсем не раздражает. Меня бесит примерно вот это:

Код: "OBERON"

Expand Code | Выделить всё

 
filter(if a in for b in range(map(liser) print("ok") else print("bad"))

Это ооочень похоже на пример Антона)))
Но там хоть слева направо разбор...

vlad писал(а):

Почитай подробнее про букву "D" в SOLID. Потом поговорим, почему твое расширение через проверку типов не всегда применимо.

А я где-то писал, что предложенный вариант -- серебряная пуля? Если что, я сторонник шин сообщений даже не на основе типов сообщений, и числовых кодов.
Я как радиоинженер не могу сказать, что программирую я даже на "удовл", но с учётом написанного выше ,я думаю понятно, что буковка "D" в SOLID мне по душе))

_________________
Действия профессионала предсказуемы. Но в мире полно любителей!

Вернуться к началу

vlad

Заголовок сообщения: Re: Free Oberon официально выпущен

Добавлено: 29 янв 2018, 20:04

Сообщения: 108

prospero78su писал(а):

ООО "КБК Техника". Директор я там)) В каталогах есть.

Да, нашел, а собственный сайтик?

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

prospero78su писал(а):

vlad писал(а):

Все они программисты или может какие эффективные менеджеры?

Ну я бы не стал делать глубоких выводов на основе такой выборки. Программисты все-таки тяготеют к крупным городам. В нашей деревне тоже напряг с кадрами.

prospero78su писал(а):

Не знаю. Может это привычка, но ссылка "на себя" в питоне меня совсем не раздражает.

Так в питоне оно нормально сделано, self присутствует только в декларации метода. Напомню оригинальный O7 код:

Код: "JS"

Expand Code | Выделить всё

 
a.b[i].c[j].clear(a.b[i].c[j]);

В питоне как и во всех нормальных языках с ООП будет:

Код: "JS"

Expand Code | Выделить всё

 
a.b[i].c[j].clear();

prospero78su писал(а):

Меня бесит примерно вот это:

Код: "PYTHON"

Expand Code | Выделить всё

 
filter(if a in for b in range(map(liser) print("ok") else print("bad"))

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

prospero78su писал(а):

Если что, я сторонник шин сообщений даже не на основе типов сообщений, и числовых кодов.

Ужос какой

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

В точности как ты рассказывешь - сообщения на основе числовых кодов в распределенной системе.

prospero78su писал(а):

Я как радиоинженер не могу сказать, что программирую я даже на "удовл", но с учётом написанного выше ,я думаю понятно, что буковка "D" в SOLID мне по душе))

Я поясню, что не так с буковкой "D" в твоем примере. Когда ты пишешь "Module1.method1(object1)" у тебя появляется dependency на все расширения object1, даже если сам object1 в месте вызова у тебя абстрактный. Потому что Module1 должен знать все эти расширения, чтобы реализовать method1 с помощью проверки типа. Поскольку Module1 у тебя импортируется статически, то и dependency вполне статическая, хотя и неявная.

Вернуться к началу

akron1

Заголовок сообщения: Re: Free Oberon официально выпущен

Добавлено: 29 янв 2018, 20:53

Сообщения: 35

Ну ладно, я тоже несколько перегнул, желая показать важность методов.

В реальности это выглядит чуть менее страшно:

Код: "OBERON"

Expand Code | Выделить всё

 
list := a.b[i].c[j];
list.clear(list);

вместо a, b, c, i, j можно подставить осмысленные идентификаторы

Вернуться к началу

vlad

Заголовок сообщения: Re: Free Oberon официально выпущен

Добавлено: 29 янв 2018, 21:27

Сообщения: 108

akron1 писал(а):

В реальности это выглядит чуть менее страшно:

Код: "OBERON"

Expand Code | Выделить всё

 
list := a.b[i].c[j];
list.clear(list);

А если "a.b[i].c[j]" - не pointer?

Довольно частный случай конечно, но вполне валидный.

Вернуться к началу

akron1

Заголовок сообщения: Re: Free Oberon официально выпущен

Добавлено: 29 янв 2018, 22:07

Сообщения: 35

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

Вернуться к началу

Страница 4 из 4

[ Сообщений: 39 ]

На страницу Пред. 1, 2, 3, 4

Список форумов » Проекты участников и друзей форума » Ефимов Артур Игоревич (Arthur Yefimov, kekc_leader)

Часовой пояс: UTC + 2 часа

Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 0

Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Перейти: