DS
Вон, интринсики и отрубание bound check'ов это тоже ансейфы
Size: a a a
2021 April 03
KR
Тоже правда. Я поюзываю в контекстах не относящихся к игрищами с памятью вообще.
KR
Но конкретно в данном случае речь шла всё-таки о сырых указателях и линкед-листах.
DS
Проблемы только вкруг того ансейфа, который может явно гарантии по поводу алиасинга нарушить
KR
К примеру,
NonZeroU8::new_unchecked и тому подобные штуки с ньютайпами.KR
Либо трасмьютить что угодно во что угодно.
KR
Тоже знатный ногострел.
DS
Даже с сырыми указателями можно нормально работать, до тех пор пока они никак в ссылки растовские не перетекают
DS
А вот на этом этапе оно может стать как раз полной жестью
KR
Не так страшен ансейв, как правила алиасинга в Расте)
DS
Ну растовские трансмьюты - это да, можно всё сломать.
Я вот хотел бы иметь safe coercions как в хаскеле, многие вещи упростило бы
Я вот хотел бы иметь safe coercions как в хаскеле, многие вещи упростило бы
KR
Там вроде же были/инициативы подвижки в сторону safe transmute’ов.
DS
Мне хотелось бы иметь safe coerce чтобы машинерию вокруг дерайвов из хаскеля спереть
DS
Тогда можно было бы и derive via тоже стащить
DS
Но это прям одна из главных моих сейчас претензий к расту.
Очень этих механизмов не хватает
Очень этих механизмов не хватает
IL
[Филосовская тема] Ребята, вот на тему FOSS. А вас не смущает тот факт, что вся эта движуха по сути строится вокруг леворадикального дискурса?
KR
Разве только FOSS? Вроде этот дискурс туда пришёл как и в другие сферы жизни, а FOSS себе существовал и до этого вполне. Разве нет?
KR
А в целом - не смущает, а больше уже утомило.
KR
Все эти радикальности и дискурсы.
IL
Ну, я тут послушал Столлмана повнимательнее просто. Столлман ведь все это затеял ещё достаточно давно, лет 40 назад