Как воспитать отвращение к программированию.

[Geniepro]

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

Точнее -- она должна была работать до старта, после старта нужды в ней не было.

[Geniepro]

Дык см. письмо влада :-)

Поскольку info21 отрицает злой умысел, следовательно он просто в этих вещах не разбирается. Но поскольку он не признает что в них не разбирается, и даже пытается учить других, то он не чайник, а ламер.

То есть при желании можно заставить компилятор КП пропустить такую хрень, точно также как и многие другие?

Кому надо -- тому можно )) В конце концов просто возьмут исходники компилятора и добавят такую возможность, если её уже нет...

[Geniepro]

Вообще да, Влад прав, изложение истории Ариана-5 на сайте инфо21 http://www.inr.ac.ru/~info21/wirth/wirth_avia.htm#ariane явно лживое:

История постоянно подтверждает правоту Н.Вирта. Например, взрыв в 1996 г. ракеты-носителя Ариан-5 стоимостью около 500 миллионов долларов через 40 секунд после старта произошел, как выяснилось, из-за сбоя программного обеспечения: одна из вспомогательных подпрограмм пыталась преобразовать длинное целое значение в короткое без проверки величины значения. Компиляторы Оберона по умолчанию отказываются компилировать такие программы, считая их ошибочными, тем самым "тыкая носом" проектировщика в точки потенциальных сбоев.

Взрыв 4 июня 1996 г. ракеты Ариан-5, стоившей полмиллиарда долларов, имел причиной программную ошибку, которую компилятор Оберона/Компонентного Паскаля просто не пропустил бы.

[valexey]

Дык см. письмо влада :-)

Поскольку info21 отрицает злой умысел, следовательно он просто в этих вещах не разбирается. Но поскольку он не признает что в них не разбирается, и даже пытается учить других, то он не чайник, а ламер.

То есть при желании можно заставить компилятор КП пропустить такую хрень, точно также как и многие другие?

Да, конечно. Причем даже без модуля SYSTEM:

Код: [Выделить]

ENTIER(x) real type LONGINT largest integer not greater than xЭто предопределенная функция. См. пункт 10.3 в сообщении о языке: http://plas.fit.qut.edu.au/gpcp/LanguageReport.aspx

Что такое real type и longint, см Appendix C.

Таким образом, можно в переменную могущую максимум в себе содержать число порядка 9.22e18, упихать число 1e308 или там 1e38. Без единого слова со стороны компилятора.

Ну а с помощью SYSTEM'а можно засунуть что угодно куда угодно и как угодно.

[DIzer]

Дык см. письмо влада :-)

Поскольку info21 отрицает злой умысел, следовательно он просто в этих вещах не разбирается. Но поскольку он не признает что в них не разбирается, и даже пытается учить других, то он не чайник, а ламер.

То есть при желании можно заставить компилятор КП пропустить такую хрень, точно также как и многие другие?

Да, конечно. Причем даже без модуля SYSTEM:

Код: [Выделить]

ENTIER(x) real type LONGINT largest integer not greater than xЭто предопределенная функция. См. пункт 10.3 в сообщении о языке: http://plas.fit.qut.edu.au/gpcp/LanguageReport.aspx

Что такое real type и longint, см Appendix C.

Таким образом, можно в переменную могущую максимум в себе содержать число порядка 9.22e18, упихать число 1e308 или там 1e38. Без единого слова со стороны компилятора.

Ну а с помощью SYSTEM'а можно засунуть что угодно куда угодно и как угодно.

А вот это нормальный ответ , предлагаю Инфо21 - ответить по - существу , либо заткнуться
PS Алексей но все равно за такие ошибки "не четвертуют".

[valexey]

А вот это нормальный ответ , предлагаю Инфо21 - ответить по - существу , либо заткнуться
PS Алексей но все равно за такие ошибки "не четвертуют".

За такое в языке - нет, не всегда четвертуют.
За такой ляп (утверждение что Оберон либо КП в этом плане лучше Ады и мог бы "спасти" Arian, причем это на сайте посвященном образованию, причем научно-образовательный проект) - не знаю. По моему это просто профнепригодность. Так что можно не четвертовать, а просто уволить (из сферы связанной с CS и IT-индустрией).

Да, с типами и Оберон и КП обращаются значительно более вольно чем Ада.

PS. И да, эту тему про сайт info21 поднял не я :-)

[DIzer]

А вот это нормальный ответ , предлагаю Инфо21 - ответить по - существу , либо заткнуться
PS Алексей но все равно за такие ошибки "не четвертуют".

За такое в языке - нет, не всегда четвертуют.
За такой ляп (утверждение что Оберон либо КП в этом плане лучше Ады и мог бы "спасти" Arian, причем это на сайте посвященном образованию, причем научно-образовательный проект) - не знаю. По моему это просто профнепригодность. Так что можно не четвертовать, а просто уволить (из сферы связанной с CS и IT-индустрией).

Да, с типами и Оберон и КП обращаются значительно более вольно чем Ада.

PS. И да, эту тему про сайт info21 поднял не я :-)

Алексей - вы не инквизитор и не присяжный... вы   устроили бучу из - за рекламной агитки. Агитка это одно, товар  - другое (пример, за самой тупой агиткой может скрываться вполне качественный товар - пример, зубные пасты , косметика... - в случая ББ - ИМХО товар х-йня - но вы перешли на личности сами). Естественно -  Инфо21 лоханулся - но только в тот момент, когда поддержал эту тему.
Но опять - мелковато это все (на всеобщую ненависть, на которую указывал fifo - не тянет )

[info21]

Сайт Информатики-21 появился не семь, а десять лет назад.

Серьезные люди давно могли прислать поправки.

Тем не менее, Geniepro:

Какое из процитированных Вами утверждений лживое?

Неправда, что компилятор Оберона тыкает носом в присваивание
короткая целая := длинное целое?

Или неправда, что история с Арианом-5 подтверждает правоту Вирта (а также Дейкстры etc.) в отношении дисциплины программирования?

[Geniepro]

Тем не менее, Geniepro:

Какое из процитированных Вами утверждений лживое?

Неправда, что компилятор Оберона тыкает носом в присваивание
короткая целая := длинное целое?

Или неправда, что история с Арианом-5 подтверждает правоту Вирта (а также Дейкстры etc.) в отношении дисциплины программирования?

Суть Вашей этой рекламной агитки заключается в подразумеваемом Вами утверждении, что если бы софт Ариан-5 был написан не на Аде, а на Обероне, то компилятор якобы помог бы разработчикам обнаружить ту проблему, из-за которой Ариан-5 не выполнил задачу.
Это и есть ложь, причём самая нехорошая -- прямо Вы это не заявили, но дали читателю дойти до такой мысли (манипуляция сознанием).

Компиляторы Ады тоже по умолчанию не пропустили бы присваивание "короткая целая := длинное целое", однако из Вашей этой агитки следует ложное предположение, что они пропустили бы.

[Geniepro]

Или неправда, что история с Арианом-5 подтверждает правоту Вирта (а также Дейкстры etc.) в отношении дисциплины программирования?

В той истории с арианом дисциплина программирования вообще ни при чём. Там скорее недостаток отладки, нехватка дисциплины тестирования...

[Влад Жаринов]

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

[DIzer]

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

Вы играли игру Vampire: The Masquerade – Bloodlines   - не обижайтесь но с вас  можно писать представителя клана Малкавиан даже акварелью и в пьяном виде...

[vlad]

В той истории с арианом дисциплина программирования вообще ни при чём. Там скорее недостаток отладки, нехватка дисциплины тестирования...

Согласен - там ЯП не причем. Там ошибки более высокого уровня - тестирования, организации code reuse и вообще проектирования (код работал когда уже был не нужен).

[DIzer]

А какое это имеет  сейчас значение?

[DIzer]

Ну что господа - закрываем "ракетную"  тему...? 
Кстати, ИМХО Инфо21  только что не прошел самый главный тест на "профессионализм"  - умение признавать свои ошибки и учиться на них... Если честно -  то я надеялся...