> Да нет, уважаемый, это вы переводите вопрос в плоскость "что важнее".Вообще-то, именно вы написали "тут главное не язык", хотя несколькими постами раньше обвиняли во лжи тех, кто заявляют, что пишут безопасные системы на Си. Так что не надо валить с больной головы на здоровую.
> Госсподи, опять апологетика. Посмотрите на Аду или модулы - никто вам там
> не запрещает нетривиальничать, вот только код выходит типобезопасным по умолчанию, а
> выкрутасы - исключение из правил, объявляемое явно, каким оно и должно
> быть.
Еще раз говорю: безопасность всегда достигается за счет вашего контроля над системой. А типобезопасность обычно приводит к тому, что создается еще больше типов со схожим функционалом и усложнению языка. В Аде, например, несколько типов строк (Bounded, Fixed, Unbounded...). В результате я должен сначала не ошибиться, выбирая какой тип строк использовать в каждой конкретной ситуации, а потом гадать, что из этого получится в ядре написанной мной ОС, т.к. реализация этих строк от меня скрыта и может варьироваться от компилятора к компилятору. Нет уж, лучше старые добрые сишные ASCIZ...
> В Си и ему подобных языках всё наоборот: исключением из
> правил является безопасный код, забота о безопасности которого ложится на программиста,
> а не на язык.
А забота о безопасности _в_принципе_ ложится на программиста. Если вы считаете, что заботу о безопасности можно перенести на компилятор, библиотеку или что-то еще, то я сомневаюсь, что вы можете создавать безопасные системы :)
> Есть Cyclone, в конце-концов, который полностью с
> Си совместим и позволяет-таки писать безопасный код в порядке правила, а
> не исключений.
Я вас умоляю! Язык в котором три (ТРИ!) типа указателей, в то время как в "безопасных языках" от указателей вообще стараются избавляться...
> Вы путаете гибкость языка с отсутствием в нём средств безопасного программирования. Не
> хочу переходить на личности - сами решайте, хватает ли вам элементарного
> кругозора в той области, о которой вы берётесь с апломбом судить.
Ну, понятно. По существу возразить нечего, поэтому вы решили важно надуть щеки и встать в снисходительную позу :)