История изменений
Исправление www_linux_org_ru, (текущая версия) :
В общем случае Вася может испортить что-то у тебя в адресном пространстве и без рестарта не обойтись.
вот о чем я тут бы хотел наверно поговорить — так это об уровнях гарантий (тема всплыла еще в разговоре с mersinvald)
вот, скажем, в плюсах UB это все что угодно
если бы в расте не были бы так робки и сделали попытку как-то гарантированно ограничить вред от unsafe функции какой-то областью адресов например, то это была бы интересная альтернатива доказательству их правильности
Исходная версия www_linux_org_ru, :
В общем случае Вася может испортить что-то у тебя в адресном пространстве и без рестарта не обойтись.
вот о чем я тут бы хотел наверно поговорить — так это об уровнях гарантий (тема всплыла еще в разговоре с mersinvald)
вот, скажем, в плюсах UB это все что угодно
если бы в расте не были бы так робки и сделали попытку как-то гарантированно ограничить вред от unsafe функции какой-то областью адресов например, то это было бы интересно