Телеграмм чат группы rust_offtopic страница 26035

Size: a a a

rust_offtopic

492 membersпожаловаться на группу

2021 May 31

ΑZ

Αλεχ Zhukovsky in rust_offtopic

если там 1 инвалид на парттайме че-то крутит на лиспе

источник

13:57пожаловаться #1

Nick Linker in rust_offtopic

Нет, не про data races.
Именно про race conditions.

Например, достаточно сильное условие: при любом распределении квантов времени между потоками поведение программы детерминировано и не меняется.
Это достаточное, но не необходимое условие, его можно ослаблять.

источник

13:57пожаловаться #2

gо

goldstein опять in rust_offtopic

Это недостаточное условие

источник

13:57пожаловаться #3

[

[BRM]White Rabbit in rust_offtopic

Ну, я это условно😄

источник

13:57пожаловаться #4

gо

goldstein опять in rust_offtopic

У тебя есть взаимодействие с базой на другом сервере, и с ним тоже возможен race condition

источник

13:57пожаловаться #5

Nick Linker in rust_offtopic

Что мешает формализовать эффекты точно таким же образом?

источник

13:57пожаловаться #6

gо

goldstein опять in rust_offtopic

Ты можешь формализовать их неверно
У тебя для каждого проекта придётся писать огромный unsafe-кусок описывающий то, как выглядят внешние API

источник

13:58пожаловаться #7

gо

goldstein опять in rust_offtopic

В средней программе на Rust тебе не нужен или почти не нужен unsafe

источник

13:58пожаловаться #8

gо

goldstein опять in rust_offtopic

Тут тебе нужен будет unsafe для любого IO, потому что ты не знаешь, как оно работает в отношении race conditions

источник

13:59пожаловаться #9

gо

goldstein опять in rust_offtopic

Это безумие

источник

13:59пожаловаться #10

Nick Linker in rust_offtopic

Нет, это Спарта! просто требует формализации, только и всего. Алгебраические эффекты — впролне рабочий вариант.
Мы просто разделяем разные походы в IO и на связанных эффектах вводим какое-то отношение зависимости.
Это просто не сделано ни в одном из сколь-нибудь распространённых языков, но можно в принципе.

источник

14:04пожаловаться #11

gо

goldstein опять in rust_offtopic

Тебе на каждый поход в API нужно описывать возможные рейсы между всеми ручками

источник

14:05пожаловаться #12

gо

goldstein опять in rust_offtopic

Это безумие

источник

14:05пожаловаться #13