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/ |