G
Ну тут бы конечно сильные типчики помогли
Size: a a a
2020 April 15
S
Да хоть на wasm движок макросов сделать, чтобы в виртуальной машине выполнялись с доступом только куда можно
AZ
а языки без виртуальных машин с ручным управлением памятью вообще могут быть без ub?
джава без уб
AZ
в сишарпе есть пара уб которых я в реальности не видел ни разу в коде, можно считать что там его тоже нет
AZ
а языки без виртуальных машин с ручным управлением памятью вообще могут быть без ub?
safe rust
AZ
Dollar Føølish
Можно исключить уб полностью перечислив его как сделал сишарп например
это не исключение уб
AZ
исключение уб это как в джаве - там список из 0 пунктов
VS
red75prime
Ну так значит нет смысла ставить перила и использовать ремни?
Я так про Юнит тесты говорю лентяям которые не хотят их писать и поэтому придумывают оправдания.
S
java и c# гоняют байткод в виртуальных машинах, и там и там управление памятью автоматическое, safe rust - это некая часть кода в программах на Rust, я сомневаюсь что это можно назвать языком
G
unsafe rust это надмножество safe rust
S
да, а safe rust - это подмножество unsafe rust
AZ
java и c# гоняют байткод в виртуальных машинах, и там и там управление памятью автоматическое, safe rust - это некая часть кода в программах на Rust, я сомневаюсь что это можно назвать языком
почему нет?
AZ
тогда ваше определение "что такое ЯП" в студию
AZ
"не знаю что такое яп но сейф раст это не язык" как ответ не принимается
S
Совокупность документации и компилятора. Дело в том что в std вот есть unsafe, им можно, в любых взаимодействиях с системой есть unsafe, там можно, no_std вроде как без unsafe, но там unsafe чаще всего самому приходится писать. То есть ну не бывает программы на safe rust целиком и полностью, которая не вызывает под капотом unsafe
S
Документация есть, а вот компилятора, который не умеет компилировать unsafe rust и запрещает его не только в отдельном модуле из-за макроса forbid_unsafe, а в любом собираемом коде впринципе - нету
p
яркий пример как не надо писать (в конце .map() после двух строчек комментариев)
B
Да хоть на wasm движок макросов сделать, чтобы в виртуальной машине выполнялись с доступом только куда можно
майки не осилил возможность печати своих документов с выключеными макросами)
B
а ты про wasm)