OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Пятница, 29 Март, 2024 01:35

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




Начать новую тему Ответить на тему  [ Сообщений: 44 ]  На страницу Пред.  1, 2, 3  След.
Автор Сообщение
СообщениеДобавлено: Четверг, 17 Февраль, 2011 13:21 
Модератор
Аватара пользователя

Зарегистрирован: Среда, 16 Ноябрь, 2005 00:53
Сообщения: 4625
Откуда: Россия, Орёл
Если тов. Веселовский хочет выступить конструктивно, думаю стоит привести альтернативы КП (предложенного тов. Лаптевым), которые лучше подходят к перечисленным в первом посте требованиям.

А не заниматься продолжением языкого срача, начатого Geniepro.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 17 Февраль, 2011 13:39 

Зарегистрирован: Вторник, 25 Апрель, 2006 16:21
Сообщения: 2180
Откуда: Нижний Новгород
Евгений Темиргалеев писал(а):
Если тов. Веселовский хочет выступить конструктивно, думаю стоит привести альтернативы КП (предложенного тов. Лаптевым), которые лучше подходят к перечисленным в первом посте требованиям.

Тов. Веселовский, как и иные товарищи, конструктивно выступил здесь: http://oberspace.dyndns.org/index.php?topic=4.0


Последний раз редактировалось Alexey Veselovsky Суббота, 17 Сентябрь, 2011 15:52, всего редактировалось 1 раз.

Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 17 Февраль, 2011 14:15 

Зарегистрирован: Суббота, 07 Март, 2009 15:39
Сообщения: 3261
Откуда: Астрахань
Сергей Прохоренко писал(а):
Илья Ермаков писал(а):
(В КП/ББ есть контроль переполнения, включается опцией компилятора.)


А всё остальное тоже есть? - вопрос к специалисту.

Обращаю Ваше внимание на то, что автор презентации хочет не генерации и обработки прерывания/исключения во время исполнения, а он хочет контроля во время компиляции.

Кстати, а как это при компиляции переполнение считать? Это же возможно только для константных выражений.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 17 Февраль, 2011 14:50 
Модератор
Аватара пользователя

Зарегистрирован: Среда, 16 Ноябрь, 2005 00:53
Сообщения: 4625
Откуда: Россия, Орёл
Alexey Veselovsky писал(а):
Евгений Темиргалеев писал(а):
Если тов. Веселовский хочет выступить конструктивно, думаю стоит привести альтернативы КП (предложенного тов. Лаптевым), которые лучше подходят к перечисленным в первом посте требованиям.
Тов. Веселовский, как и иные товарищи, конструктивно выступил здесь: http://oberon.talk4fun.net/index.php?topic=4.0
Что-то не видать ни одной альтернативы. Ни в сравнении с другими вариантами, ни даже просто с разбором по пунктам.

Итого, "конструктивность" типа: Сергей Прохоренко, мы Вам советуем КП в качестве первого приближения не рассматривать, а (самому) поискать что-нибудь получше.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 17 Февраль, 2011 16:51 
Аватара пользователя

Зарегистрирован: Воскресенье, 08 Июль, 2007 00:38
Сообщения: 778
Откуда: Москва
Валерий Лаптев писал(а):
Длинные числа обычно реализуются в библиотеке. И они там есть... :)


Мы говорим о разных вещах. Длинных типов обычно даже слишком много разных, что ведет к несовместимости по типу. Поэтому, например, Вирт все их просто отбросил в Обероне-07. Ему это было сделать просто - он ведь не разрабатывает игры - ему и не нужны длинные типы.

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

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

Я прошу внимательнее прочитать о проблемах, сформулированных разработчиком игр. Разумеется, ему известно и о длинных библиотечных типах, и об обработке прерываний при целочисленном переполнении и т.п. Это всё не является реальным решением проблем, это лишь попытка хоть как-то уменьшить ущерб. Ведь по его статистике на перечисленные им проблемы приходится 50% багов!

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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 23 Февраль, 2011 15:45 
Аватара пользователя

Зарегистрирован: Воскресенье, 08 Июль, 2007 00:38
Сообщения: 778
Откуда: Москва
Здесь я попытаюсь перечислить средства предупреждения типичных ошибок в программах:
1. Сборка мусора и Умный указатель
2. Многомерные динамические массивы и Цикл foreach
3. Целые числа произвольной длины
4. Строки произвольной длины
5. Компилятор должен выявлять использование переменных, которые "выше по тексту" не получают значение. Это не абсолютная гарантия от ошибки, так как, например, переменная может якобы "получать" значение в неиспользуемой ветви условного оператора.


Последний раз редактировалось Сергей Прохоренко Среда, 23 Февраль, 2011 17:05, всего редактировалось 2 раз(а).

Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 23 Февраль, 2011 16:00 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9459
Откуда: Россия, Орёл
Цитата:
Цикл foreach


Мы где-то уже обсуждали эту тему - foreach из-за своей "отначаладоконцовости" оказывается узкоприменимым (если нормально составлять алгоритмы).

С другой стороны, его удобство проявляется не на обычных (встроенных) массивах-последовательностях, а на разных объектах.
Так в чём проблема? - давно известен другие варианты: Carrier-Rider, итераторы - суть одна: получаем объект доступа (каретку) и ей "бежим".
Rider-ы прекрасно используются в любой сложности цикле, т.к. используются они вместе с WHILE:

WHILE (райдер не достиг конца) & что-угодно-ещё DO
....
райдер.дальше
END

(И в С++ нет никаких foreach и даже for. Тамошний for - это while, с явной записью условия и шага.)

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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 23 Февраль, 2011 16:03 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9459
Откуда: Россия, Орёл
Сергей Прохоренко писал(а):
5. Компилятор должен выявлять использование переменных, которые нигде в коде не получают значение


+

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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 23 Февраль, 2011 16:56 
Аватара пользователя

Зарегистрирован: Воскресенье, 08 Июль, 2007 00:38
Сообщения: 778
Откуда: Москва
Илья Ермаков писал(а):
Цитата:
Цикл foreach


Мы где-то уже обсуждали эту тему - foreach из-за своей "отначаладоконцовости" оказывается узкоприменимым (если нормально составлять алгоритмы).


foreach'и бывают разными. Может быть, Вы имели дело с неудачными, и надо сделать (или позаимствовать) другой вариант? Например, с не столь безальтернативной "отначаладоконцовостью"?

Илья Ермаков писал(а):
С другой стороны, его удобство проявляется не на обычных (встроенных) массивах-последовательностях, а на разных объектах.
Так в чём проблема? - давно известен другие варианты: Carrier-Rider, итераторы - суть одна: получаем объект доступа (каретку) и ей "бежим".
Rider-ы прекрасно используются в любой сложности цикле, т.к. используются они вместе с WHILE:

WHILE (райдер не достиг конца) & что-угодно-ещё DO
....
райдер.дальше
END


Чем райдер лучше, чем foreach? Может быть, между ними нет столь жесткой границы, и возможно что-нибудь гибридное? Райдеры и итераторы чем-нибудь отличаются? Можно ли их применять в языке, в котором нет классов, вроде Оберон-07?

Илья Ермаков писал(а):
(И в С++ нет никаких foreach и даже for. Тамошний for - это while, с явной записью условия и шага.)

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


Ну, С++ для меня не авторитет. Я бы охарактеризовал этот язык как "головную боль".

Что касается невозможности забыть, то я с Вами согласен. Но "можно применять" - не то же, что "лучше применять".


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 23 Февраль, 2011 17:56 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9459
Откуда: Россия, Орёл
Сергей Прохоренко писал(а):
foreach'и бывают разными. Может быть, Вы имели дело с неудачными, и надо сделать (или позаимствовать) другой вариант? Например, с не столь безальтернативной "отначаладоконцовостью"?

Так это будет WHILE и райдер, как раз.

foreach - это райдер-итератор, спаянный намертво с циклом, при этом с циклом, который идёт от начала до конца.
Максимально специализированная вещь. Если, конечно, не разрешать "стоп-кран" break и "прыжки из поезда на ходу".


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 23 Февраль, 2011 20:52 

Зарегистрирован: Четверг, 23 Апрель, 2009 18:01
Сообщения: 219
Цитата:
Что касается невозможности забыть

Столько раз забывал про INC(i) и другие условия продолжения в конце цикла, что весьма ценю for-аналоги. Это же касается и начального значения переменной цикла. В ходе работы i:=0 либо случайно удаляется, либо не прописывается. И пошёл цикл со случайного шага.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 23 Февраль, 2011 22:58 
Аватара пользователя

Зарегистрирован: Воскресенье, 08 Июль, 2007 00:38
Сообщения: 778
Откуда: Москва
Меня пока не убедили аргументы в пользу разделения foreach на while и итератор. Зачем нужен итератор для обращения к элементам массива вне цикла? Не нужен. А в цикле их лучше совместить - меньше ошибок будет, да и нагляднее. А дополнительное условие продолжения цикла можно вставить и в foreach - тогда никакие операторы досрочного выхода из цикла не понадобятся. Вот для всяких там списков, стеков, очередей и прочих контейнеров пусть будут встроенные итераторы - там они смотрятся "к месту". Хотя, может быть, и для них можно будет foreach приспособить. Главное, что программист будет абсолютно уверен в невозможности выхода индекса за границы массива. А контроль в рантайме - это паллиативное (слабое) решение проблемы.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 24 Февраль, 2011 00:49 

Зарегистрирован: Четверг, 23 Апрель, 2009 18:01
Сообщения: 219
Код:
foreach (a in b) [while (условие)] do
 ...
end;


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 24 Февраль, 2011 09:55 
Модератор
Аватара пользователя

Зарегистрирован: Среда, 16 Ноябрь, 2005 00:53
Сообщения: 4625
Откуда: Россия, Орёл
Александр Шостак писал(а):
Цитата:
Что касается невозможности забыть

Столько раз забывал про INC(i) и другие условия продолжения в конце цикла, что весьма ценю for-аналоги.
Александр Ильин, кажется, как-то говорил, что отказался от FOR для единообразности. я тоже решил попробовать:
- уже давно FOR не использую
- и проблемы с "забывал про INC(i)" были только на первоначальном этапе
- теперь их нет
Итого: это вопрос привычки.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 24 Февраль, 2011 10:25 
Аватара пользователя

Зарегистрирован: Воскресенье, 08 Июль, 2007 00:38
Сообщения: 778
Откуда: Москва
Евгений Темиргалеев писал(а):
Итого: это вопрос привычки.


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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 24 Февраль, 2011 12:03 
Модератор
Аватара пользователя

Зарегистрирован: Среда, 16 Ноябрь, 2005 00:53
Сообщения: 4625
Откуда: Россия, Орёл
Перебор всего массива в WHILE узнаю без проблем. По-моему, та же привычка. Хотя не припоминаю, чтобы часто приходилось использовать циклы, просто перебирающие весь массив. Обычно это схема "линейного поиска".

я говорю о своём опыте работы на КП. А Вы, Сергей, делая заключение, каким опытом руководствуетесь? Вы говорили, что программ не пишите, но, наверное, читаете? По-моему, для Вашей работы по анализу и отбору, надо читать в больших объёмах и из разных источников (хотелось бы, что Вы подробнее рассказали)...


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 24 Февраль, 2011 13:34 
Аватара пользователя

Зарегистрирован: Вторник, 19 Сентябрь, 2006 21:54
Сообщения: 2449
Откуда: Россия, Томск
Евгений Темиргалеев писал(а):
Александр Ильин, кажется, как-то говорил, что отказался от FOR для единообразности.
Подтверждаю. До сих пор не использую for.

Проблем с забытым INC не бывает (ну, может быть раза три за последние три года). Для вставки шаблонных блоков кода использую плагин WebEdit (аналог F5 в Школьном ББ), просто добавил в шаблон WHILE строку "INC(i)". При необходимости заменяю на "obj := obj.next" или что там ещё требуется по контексту.

С другой стороны, я понимаю, что for (без break!) добавляет немного читабельности и сокращает запись алгоритма на пару строк.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 24 Февраль, 2011 14:44 

Зарегистрирован: Вторник, 13 Ноябрь, 2007 20:38
Сообщения: 1056
Евгений Темиргалеев писал(а):
Александр Ильин, кажется, как-то говорил, что отказался от FOR для единообразности. я тоже решил попробовать:
- уже давно FOR не использую

И я не использую. Даже не помню, есть он в языке или нет :)


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 24 Февраль, 2011 14:48 

Зарегистрирован: Вторник, 13 Ноябрь, 2007 20:38
Сообщения: 1056
Евгений Темиргалеев писал(а):
я говорю о своём опыте работы на КП. А Вы, Сергей, делая заключение, каким опытом руководствуетесь? Вы говорили, что программ не пишите, но, наверное, читаете? По-моему, для Вашей работы по анализу и отбору, надо читать в больших объёмах и из разных источников (хотелось бы, что Вы подробнее рассказали)...

Для приобретения опыта нужно именно писать, а не читать (IMHO), либо читать и быть "семь пядей во лбу" (что тоже не исключается).


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 24 Февраль, 2011 16:24 

Зарегистрирован: Суббота, 07 Март, 2009 15:39
Сообщения: 3261
Откуда: Астрахань
Интересно, что я тоже for использую только в самых простых случаях. Когда надо заполнить массив-контейнер начальными значениями... :)
99,9... моих циклов - это while... :)


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 44 ]  На страницу Пред.  1, 2, 3  След.

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


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

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


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

Найти:
Вся информация, размещаемая участниками на конференции (тексты сообщений, вложения и пр.) © 2005-2024, участники конференции «OberonCore», если специально не оговорено иное.
Администрация не несет ответственности за мнения, стиль и достоверность высказываний участников, равно как и за безопасность материалов, предоставляемых участниками во вложениях.
Без разрешения участников и ссылки на конференцию «OberonCore» любое воспроизведение и/или копирование высказываний полностью и/или по частям запрещено.
Powered by phpBB® Forum Software © phpBB Group
Русская поддержка phpBB