OberonCore
https://forum.oberoncore.ru/

И снова Дейкстра
https://forum.oberoncore.ru/viewtopic.php?f=5&t=1978
Страница 1 из 1

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

http://ko-online.com.ua/node/44252

Автор:  AVC [ Вторник, 23 Февраль, 2010 22:35 ]
Заголовок сообщения:  Re: И снова Дейкстра

hothing писал(а):
http://ko-online.com.ua/node/44252

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

Автор:  Илья Ермаков [ Вторник, 23 Февраль, 2010 22:40 ]
Заголовок сообщения:  Re: И снова Дейкстра

Цитата:
(которые, кстати, в самых массовых вычислительных системах - встраиваемых, - до сих пор не закончились, и структурное программирование не собирается сдавать своих позиций)


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

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

Автор:  AVC [ Вторник, 23 Февраль, 2010 22:46 ]
Заголовок сообщения:  Re: И снова Дейкстра

Я так понимаю, "структурное" здесь означает "не объектно-ориентированное".

Страница 1 из 1 Часовой пояс: UTC + 3 часа
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/