Ты вообще за дискуссией следишь? Ты спросил про Си
>>> Может, стоило сделать просто более безопасный С, с проверкой границ массивов
>> В runtime слишком дорого.
> Ну и как же ты не в runtime отловишь выход за границы массива?Вот ты сам придумал? что они не в рантайм. А тебе ответили "почему не добавят".
Хватит уже приписывать мне то, что я не говорил.
В си нет слайсов и итераторов, которые в расте неплохо так нивелируют рантайм проверки.
> То вы говорите что то что Rust гарантирует... очень ограничено.
Нет, я такого не говорил. Это ты считаешь, что оно ограничено.
А я сказал, что раст покрывает конкретный сабсет, ошибки из которого очень распространены в системном и не только программировании и порождают море CVE.
> Либо одно, либо другое.
> Те в Rust просто забивают и никакие проверки не делают?
Это уже какая-то шизофрения...
> А про гарантии borrow checker Rust я прекрасно осведомлён и что он гарантирует знаю.
Ну-ну)) Ты еще в прошлой теме показал как прекрасно ты знаешь раст. И продолжаешь в этой)
> В моём Zig не вышла ещё версия 1.0.
> И эта лишь детали имплементации, не успели ребята написать ещё эту фичу.
Ахахаха! Такая крохотная деталь имплементации! Вот оно чё, Михалыч!
> https://github.com/ziglang/zig/issues/6004
Висит открытая с 2020 года.
> Очевидно что аллокатор будет уметь ловить практически все известные ошибки аллокации памяти.
Абсолютно неочевидно! Может к тому моменту они проедят донаты и забросять это поделие. Или сыграет bus-factor.
Сейчас есть просто факт - это не работает в "готовом для прода" Zig'е.
> В принципе все эти ошибки можно и нужно детектировать. И Zig это и делает.
Так делает или это еще не реализовано? Реализовано или "еще не всё"
> И если ты говоришь что для Rust это дорого и он всё это не детектирует - получается он менее безопасный.
Еще раз повторю - про раст я такого не сказал. Вопрос был про си, ответ был про си.
Меня восхищает твое умение додумывать вещи, которые собеседник не говорил, а потом героически их опровергать.