p
не ну с завтипами можешь да, но их и в плюсах нет
Size: a a a
2021 March 03
RB
и? Т.е. это проблема чекинга. Твой чекер дерьмо.
r
Ты перепутал, нынешний borrow checker на уровне MIR работает, иначе бы не было бы NLL
Вся информация из MIR есть в исходном коде. Использование MIR - это упрощение реализации.
p
Roman Blog
и? Т.е. это проблема чекинга. Твой чекер дерьмо.
это нельзя прочекать и в крестах
А
опять царь отборную дичь несёт
p
ага
RB
это нельзя прочекать и в крестах
Причём тут кресты? Я тебе сообщил, что unsafe всегда используется для обхода чекера. В С++ нет никакого чекера. Зачемм ты слился на них?
p
Roman Blog
Причём тут кресты? Я тебе сообщил, что unsafe всегда используется для обхода чекера. В С++ нет никакого чекера. Зачемм ты слился на них?
прибавление адреса не обход чекера.
RB
К тому же всё это чекается. Делаешь alloc с нормальным типом
RB
и требованием доказать отсутствие выхода
А
Roman Blog
и это та причина, почему тормозит жава. И почему языку с подобным видом полиморфизма нужен гц. И почему в том же расте, да и где угодно - рядом с dyn всегда идёт box
нет
RB
прибавление адреса не обход чекера.
Обход.
А
у тебя в крестах без гц такой же динамический полиморфизм
p
Roman Blog
Обход.
нет.
А⚙
Roman Blog
и требованием доказать отсутствие выхода
В идеале так и должно быть. Пока что так умеет только ATS, и он жутко неудобен
RB
В идеале так и должно быть. Пока что так умеет только ATS, и он жутко неудобен
Это элементарно реализуется. Опять же студентом за пару дней. Тебе всё что нужно - это refinement, где x уточняется до n. У тебя уже есть запрет вывода чего угодно за скоуп. Вот просто даелаешь, что под if(x < n) x < n
А⚙
Roman Blog
Это элементарно реализуется. Опять же студентом за пару дней. Тебе всё что нужно - это refinement, где x уточняется до n. У тебя уже есть запрет вывода чего угодно за скоуп. Вот просто даелаешь, что под if(x < n) x < n
Заебись. А теперь сделай это на плюсах, пожалуйста
А⚙
Заебись. А теперь сделай это на плюсах, пожалуйста
Только с рантайм-индексами, а не как ты в прошлый раз обосрался
RB
нет.
Ну и толку с этого? Ты будешь отрицать очевидное до последнего. Твоя методичка предполагает безопасность памяти, где краеугольный камень - это БЧ. Всё, ты не можешь прочекать это.
RB
Заебись. А теперь сделай это на плюсах, пожалуйста
Элементарно делается