заходит царь в чат секта_нейм и говорит сектантам что они сектанты

Да, но  я в safe не получаю итак никаких ошибок. Пойми разницу. Если мы ограничим любой язык теми возможностями, что даёт safe-раст, то там не будет ошибок. Т.е. чекер раста и модель безопасности раста не чекает ОШИБКИ - она чекает возможности, которые ты используешь.

И проблема в том, что те места, которые приводят к ошибкам - всегда написаны ЗА РАМКАМИ этого safe-языка. Давай проще, если ты перепишешь что-то дырявое и мира с/с++, то все места, которые там дырявые - будут у тебя под unsafe и не будут никак проверяться. И никакого преимущества ты не получишь.

Т.е. безопасность, которая нужна. И чекер который нужен - это то, что проверяет ПОТЕНЦИАЛЬНО опасную логику. И сообщает правильно ты её реализовал или нет. Раст работает не так. Он запрещает тебе любую потенциально опасную логику, даже если она не содержит ошибок

если бы мы могли исключить всё потенциально опасную логику - мы бы не имели проблем в  принципе

Если мы ограничим любой язык теми возможностями, что даёт safe-раст, то там не будет ошибок.
В этом и смысл

Чтобы компилятор контролировал что программист точно не обосрался в safe секции

в конечном итоге как максимум, чего ты добьёшься в расте - это чуть более строгие safe-интерфейсы. Возможно это снизит количество багов, но не особо сильно. Потому как сильно снижает их именно safe-интерфейс. Любой. Не обязательно строгий

Так суть в том, что ошибку безопасности проще искать в небольшом куске unsafe

особо сильно

При прочих равных сам тот факт что у тебя есть четко ограниченные рамки - это уже преимущество, скажешь нет?

Это ничего не даёт. Все итак знают где это "не безопасно" находится. Просто проблема, что этого unsafe там до жопы

потому что в расте у тебя есть много safe кода и относительно немного unsafe кода

в крестах у тебя всё unsafe

вообще всё

Ну да, в этом и смысл раста. Чтобы писать safe код и чтобы компилятор запрещал тебе использовать потенциально опасные штуки. В крестах нет этого разбеления, а потому потенциально safe код может сделать опасную вещь и ты не увидишь это моментально, как в случае с растом.

и ты должен сам и без помощи компилятора всё проверять чтобы было safe

как в раст stdlib и ещё хуже. Эта куллстори про "unsafe блоки видено" работает только в сказках. Реально у тебя их будет столько, что ты их не найдёшь

Писал игрушечный аллокатор, ансейф кода там таки в меньшинстве.

это ничего не даст. Я выше уже говорил об этом. Ты как максимум можешь уповать на то, что раст БУДЕТ способствовать в рамках выбора безопасно/небезопасно выбор в сторону безопасно

Так ну это уже сказки от тебя. На джаве/питоне/жсе/шарпе написано миллион проектов без единого ансейфа. Что скажешь?

правильно, потому что скриптуха и там другие проекты и другие требования