IL
У меня практически нет типов с лайфтаймами и Rc/Arc. Все работает. Что я делаю не так?
То есть вы везде всё передаете по значению? )
Size: a a a
2020 November 14
MB
В GC языках обычно более добрая модель памяти, которая разрешает дата-рейсы, поэтому мьютексы использовать необязательно
АМ
То есть вы везде всё передаете по значению? )
Нет. Почти везде все передается по ссылке.
EG
если уже берете язык со строгой типизацией и прочими правилами - берите хотя бы самый быстрый
Строгая типизация и в питоне
EG
А статической в го толком нет, всё на пустых интерфейсах
И
В GC языках обычно более добрая модель памяти, которая разрешает дата-рейсы, поэтому мьютексы использовать необязательно
скорее gc беспечивает safety, шаред мутабилити как была проблемой так и остаётся
MB
Ну да, с этим согласен.
EG
GC не обеспечивает safety в понимании Rust
MB
Одну из частей - корректность ссылок - обеспечивает
EG
package main
func main() {
var ptr *int
*ptr = 5
}
EG
Вот запись по невалидной ссылке
MB
Если это UB, то это конкретно проблема го (ну а то что го это одна большая проблема в доказательстве, думаю, не нуждается)
MB
нет ничего проще чем детектить запись по нулевому адресу.
EG
Одну из частей - корректность ссылок - обеспечивает
То, что мутабельные ссылки не алиасятся — тоже не обеспечивает
И
GC не обеспечивает safety в понимании Rust
gc беспечивает safety в смысле - есть ссылка на память - память не освободится -> не будет обращения по невалидному адресу. И да, это не не про раст
MB
То, что мутабельные ссылки не алиасятся — тоже не обеспечивает
А это решается ослабленной моделью памяти
EG
Игорь
gc беспечивает safety в смысле - есть ссылка на память - память не освободится -> не будет обращения по невалидному адресу. И да, это не не про раст
Обращение по нулевому адресу как минимум легко организовать
По другому невалидному нельзя, да
По другому невалидному нельзя, да
MB
До тех пор, пока разыменование nullptr не UB, то и safety это никак не мешает
EG
Насколько я понимаю, в го нет нормального списка что UB, а что нет