> Дурак не должен понимать "как". Он должен понимать "что" и "зачем". Без "как"-ов все остальное лишь благие пожелания. Ситуация aka "гляжу в книгу, вижу фигу".
> И код, основанный на тонких теориях, нужен в исключительных случаях. А часто Вы встречались с тем, чтобы скудентам правильно читали, например, сортировки? Теория не тонкая, а ...
> Ошибки с точками и запятыми должны застревать в контроле качества. Должны, но не обязаны. Вы не путайте желаемое и действительное. Например, достаточно поставить лишнюю запятую в параметрах функции с неопределенным числом аргументов...
> возникает из-за того, что человек думает, что знает Один мой знакомый говорил: "Думать надо, когда есть чем. В остальных случаях надо просто знать." ;-))
> Контроль качества зависит от качества контроля качества. Как известно - использование рекурсии приводит к физически нереализуемым моделям.
А как Вы собираетесь контролировать неточности в программировании? Неточность в программировании приводит к ошибке в прогнозе поведения программы в изменившихся условиях. Все равно ошибка, хотя прога сразу не "падает". Но такиек вещи контролировать не сможет ни одна система контроля. Только человек. Да еще обязательно очень грамотный, хорошо знающий теорию.
Это, кстати, одна из причин почему Виртовские разработки, вроде Oberon, Modula и Lilit, не имеют широкого хождения.
Опыт применения оберона лично мне показал, что программирование становится вполне безопасным, тупых ошибок просто нет, при этом кадровый вопрос решается легко и быстро.
Оберон просто работает. Это самая важная причина того, что он не имеет широкого хождения. Нет места для якобы улучшающих качество программирования тулзовин (бизнес) и самоудовлетворения задротов (психология).
Ну, я по умолчанию предположил, что у конкретного "кадра" умение программировать уже есть. А перейти на оберон опытному программисту раз плюнуть. При этом качество разработки не снизится, а скорее наоборот.
"Портят", да. Есть такое дело. Но при этом, в том же КП есть всё, что необходимо для промышленной постановки задачи. Поэтому я и говорю - если человек владеет соответствующим категориальным аппаратом, то использование оберона не будет проблемой. А если не владеет, то пойдут проблемы от BEGIN END, отсутствия break и прочих вытребенек.
Кроме того, Никлаус Вирт грешит тем, что настаивает на своем сечении библиотек. Именно поэтому нельзя воспользоваться остальным накопленным опытом. Вещь в себе.
xds - Excelsior Oberon-2/Modula-2 compiler, set up to produce native FreeBSD binaries. Поставляется в бинарниках. Посему им никто не пользуется - падает, зараза.
А никто не даст гарантию, что модель "накопленного опыта" полностью совпаст с моделью Вашей разработки. Очень часто случается так, что проще изобрести простой велосипед, чем иметь геморрой с очередным мега-компонентищем.
Представляете мое удивление, когда для компиляции CVSUP приходится полностью компилировать не только ezm3 (компилятор Modula3), но еще потом еще и кучу библиотек окружения. Это только для одной cvsup. Представляю, какие пойдут затраты, если появится како-нить продукт на oberon. Тут будет уже полная жопа. Такая же, как и с компилятором, колторый сделан в виде бинарника и который падает. Были бы исходники - перекомпилировал и никаких проблем. А так я это дело сразу выкинул и пометил себе - пользоваться нельзя, говно.
И, кстати, не напомните, что там сам Никлаус Вирт говорил по поводу языка C?
Вообще-то оберон поддерживает раздельную компиляцию, поэтому такими устарвешими вещами, как независимая компиляция, Вам попросту нет необходимости заниматься.
no subject
Date: 2010-02-11 09:01 am (UTC)Без "как"-ов все остальное лишь благие пожелания. Ситуация aka "гляжу в книгу, вижу фигу".
> И код, основанный на тонких теориях, нужен в исключительных случаях.
А часто Вы встречались с тем, чтобы скудентам правильно читали, например, сортировки? Теория не тонкая, а ...
> Ошибки с точками и запятыми должны застревать в контроле качества.
Должны, но не обязаны. Вы не путайте желаемое и действительное. Например, достаточно поставить лишнюю запятую в параметрах функции с неопределенным числом аргументов...
no subject
Date: 2010-02-11 09:19 am (UTC)Контроль качества зависит от качества контроля качества. А условия, чтоб лишние запятые никуда не попадали, создать не сложно.
no subject
Date: 2010-02-11 09:40 am (UTC)Один мой знакомый говорил: "Думать надо, когда есть чем. В остальных случаях надо просто знать." ;-))
> Контроль качества зависит от качества контроля качества.
Как известно - использование рекурсии приводит к физически нереализуемым моделям.
no subject
Date: 2010-02-11 09:44 am (UTC)В не правильном всё в любом случае безнадёжно.
no subject
Date: 2010-02-11 10:09 am (UTC)Это, кстати, одна из причин почему Виртовские разработки, вроде Oberon, Modula и Lilit, не имеют широкого хождения.
no subject
Date: 2010-02-11 01:14 pm (UTC)Опыт применения оберона лично мне показал, что программирование становится вполне безопасным, тупых ошибок просто нет, при этом кадровый вопрос решается легко и быстро.
Оберон просто работает. Это самая важная причина того, что он не имеет широкого хождения. Нет места для якобы улучшающих качество программирования тулзовин (бизнес) и самоудовлетворения задротов (психология).
no subject
Date: 2010-02-11 01:19 pm (UTC)Насчёт же кадрового вопроса не всё так просто в смысле бизнеса.
no subject
Date: 2010-02-11 01:35 pm (UTC)no subject
Date: 2010-02-11 01:43 pm (UTC)Кроме того, гляньте сюда http://ooc.sourceforge.net/ ;-))
no subject
Date: 2010-02-11 01:53 pm (UTC)no subject
Date: 2010-02-11 01:48 pm (UTC)xds - Excelsior Oberon-2/Modula-2 compiler, set up to produce native FreeBSD binaries. Поставляется в бинарниках. Посему им никто не пользуется - падает, зараза.
no subject
Date: 2010-02-11 01:55 pm (UTC)no subject
Date: 2010-02-11 03:39 pm (UTC)И, кстати, не напомните, что там сам Никлаус Вирт говорил по поводу языка C?
no subject
Date: 2010-02-12 05:10 pm (UTC)no subject
Date: 2010-02-11 01:58 pm (UTC)А для Линукса компилятор Оберона лучше?
no subject
Date: 2010-02-11 02:12 pm (UTC)no subject
Date: 2010-02-12 05:17 pm (UTC)Прилично мозг разгружается, да.
no subject
Date: 2010-02-11 01:24 pm (UTC)В принципе, писать "выживающий" код не так сложно, хотя и муторно.