OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Четверг, 28 Март, 2024 14:12

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




Начать новую тему Ответить на тему  [ Сообщений: 4 ] 
Автор Сообщение
 Заголовок сообщения: И снова Дейкстра
СообщениеДобавлено: Пятница, 23 Октябрь, 2009 17:36 

Зарегистрирован: Среда, 31 Октябрь, 2007 18:58
Сообщения: 252
Откуда: Austria, Bruck
http://ko-online.com.ua/node/44252


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: И снова Дейкстра
СообщениеДобавлено: Вторник, 23 Февраль, 2010 22:35 
Аватара пользователя

Зарегистрирован: Суббота, 19 Ноябрь, 2005 15:59
Сообщения: 803
Откуда: Зеленоград
hothing писал(а):
http://ko-online.com.ua/node/44252

Перечитал часть статьи Кернигана и согласился с ним в том, что крупным недостатком (оригинального) Паскаля была полная схема вычисления логических выражений.
Именно из-за этой особенности Паскаля отказ от использования break устойчиво ассоциируется с введением вспомогательных логических переменных (вроде done) и, соответственно, со снижением эффективности и читабельности кода.
Полюбопытствуйте, как именно реализован (знаменитый :) ) линейный поиск в старой книге Вирта "Алгоритмы + структуры данных = программы", и прояснится, IMHO, одна из основных (наряду с отсутствием открытых массивов) причин неприятия паскалевской линейки языков: на Модулу и Оберон перенесли неприятие особенностей кодирования на Паскале (несмотря на отсутствие в них этих недостатков).


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: И снова Дейкстра
СообщениеДобавлено: Вторник, 23 Февраль, 2010 22:40 
Модератор
Аватара пользователя

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


Да, в стандартах на встроенку некоторых (в Британии для АЭС) определяется допустимое подмножество Модулы-2 и Ады, на котором можно писать критичные модули.

Кроме того, в разных методах этой области, типа IBM-овской "чистой комнаты" (с верификацией и инспектированием) тоже с ограничением "выразительных средств" строго.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: И снова Дейкстра
СообщениеДобавлено: Вторник, 23 Февраль, 2010 22:46 
Аватара пользователя

Зарегистрирован: Суббота, 19 Ноябрь, 2005 15:59
Сообщения: 803
Откуда: Зеленоград
Я так понимаю, "структурное" здесь означает "не объектно-ориентированное".


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 4 ] 

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


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

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


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

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