G
unsafe в раст не просто по приколу придумали
Size: a a a
2020 March 05
Т8
Ещё и в указателях что-то не так стало
Ты же говорил, что ты любишь доказывать теоремы. А чё, лайфтаймы не осилил???
G
Т-34 85
Ты же говорил, что ты любишь доказывать теоремы. А чё, лайфтаймы не осилил???
язык бывает не осилил достаточную выразительность
G
и да, теоремы можно и на указателях голых доказывать, смотри в Frama-C
Т8
язык бывает не осилил достаточную выразительность
А язык не осилил, или ты его не осилил. Чуть что - сразу в unsafe, как плюсовики?
Т8
А как же идиоматичность?
Т8
А как же безопасность?
G
Т-34 85
А язык не осилил, или ты его не осилил. Чуть что - сразу в unsafe, как плюсовики?
посмотри в стд библиотеку, если увидешь указателя - скажешь, что компиляторщики не осилили язык?
G
и unsafe у раста не как в плюсах если ты ещё не понял, в отличии от плюсов unsafe можно за безопасный интерфейс спрятать
G
он не по приколу там
Т8
посмотри в стд библиотеку, если увидешь указателя - скажешь, что компиляторщики не осилили язык?
Конечно. Они сдались борров чекеру, слабаки
AR
и unsafe у раста не как в плюсах если ты ещё не понял, в отличии от плюсов unsafe можно за безопасный интерфейс спрятать
мне такое почему-то напоминает заметание мусора под ковер
Т8
он не по приколу там
Он для кастов и т.д. а указателей быть не должно, кроме тех случаев, когда с ОС надо интеропиться
Т8
мне такое почему-то напоминает заметание мусора под ковер
+
AI
мне такое почему-то напоминает заметание мусора под ковер
руль автомобиля вполне удобная концепция нет?
G
мне такое почему-то напоминает заметание мусора под ковер
Это называется абстрагирование, когда небезопасную штуку прячут под безопасный, см. стек TCP/IP
AR
Это называется абстрагирование, когда небезопасную штуку прячут под безопасный, см. стек TCP/IP
если нарушить инварианты в ансейф коде, то все перестает работать
G
если нарушить инварианты в ансейф коде, то все перестает работать
да, и это относится не только к расту, а вообще ко всему