AR
да, ты знаешь, что искать нужно внутри ансейф, но все равно
Size: a a a
2020 March 05
AI
если нарушить инварианты в ансейф коде, то все перестает работать
даже в std. Как же ты пользуешься std если там unsound?
G
неправильно дефрагментируешь пакеты - всё, https не работает
Т8
Ещё и в указателях что-то не так стало
Послушай вот этого чувака
AR
неправильно дефрагментируешь пакеты - всё, https не работает
ну нет, он хотя бы ошибку выплюнет
NL
Т-34 85
А язык не осилил, или ты его не осилил. Чуть что - сразу в unsafe, как плюсовики?
Идея в том, что unsafe можно запереть в ограниченном пространстве и обеспечить безопасный интерфейс поверх. И уже всю логику и пользовательские абстракции создавать поверх безопасных интерфейсов с проверкой инвариантов компиляторов.
Ты же не возмущаешься, что JVM написана на C, тоже всё низкоуровнево и unsafe.
Ты же не возмущаешься, что JVM написана на C, тоже всё низкоуровнево и unsafe.
Т8
Идея в том, что unsafe можно запереть в ограниченном пространстве и обеспечить безопасный интерфейс поверх. И уже всю логику и пользовательские абстракции создавать поверх безопасных интерфейсов с проверкой инвариантов компиляторов.
Ты же не возмущаешься, что JVM написана на C, тоже всё низкоуровнево и unsafe.
Ты же не возмущаешься, что JVM написана на C, тоже всё низкоуровнево и unsafe.
Это вы должны возмущаться, там же баги!
G
Т-34 85
что в этом плохого? я могу рассказать как лайфтаймы работают после рандомли тыкинга
G
это называется compiler-driven development
Т8
что в этом плохого? я могу рассказать как лайфтаймы работают после рандомли тыкинга
Так если можешь, чего тогда убежал от борров чекера? Пиши графы в сейфе
λ
Почему у меня решается?
Не решается
AR
Идея в том, что unsafe можно запереть в ограниченном пространстве и обеспечить безопасный интерфейс поверх. И уже всю логику и пользовательские абстракции создавать поверх безопасных интерфейсов с проверкой инвариантов компиляторов.
Ты же не возмущаешься, что JVM написана на C, тоже всё низкоуровнево и unsafe.
Ты же не возмущаешься, что JVM написана на C, тоже всё низкоуровнево и unsafe.
А вот го написан на го
λ
просто парадокс блаба не даёт это понять
G
Т-34 85
Так если можешь, чего тогда убежал от борров чекера? Пиши графы в сейфе
язык может не позволять полностью в сейф коде описывать безнес логику, я тут причём?
Т8
язык может не позволять полностью в сейф коде описывать безнес логику, я тут причём?
Что, ты наврал, что у тебя всё компилируется?
G
Т-34 85
Что, ты наврал, что у тебя всё компилируется?
компилируется
DS
Т-34 85
Так если можешь, чего тогда убежал от борров чекера? Пиши графы в сейфе
Там графы в сейфе спокойно написаны. Там пара использований ансейфы есть, но ради get_unchecked.
G
cargo build
Т8
компилируется
Но в си-стайле