Size: a a a

2020 July 14

CD

Constantine Drozdov in pro.cxx.holywars
Александр Караев
А ещё говорят раст с многопоточкой что-то там умеет доказывать
Смотри. Представь себе, что вся доступная тебе на запись память не алиасится (т.е. каждый доступная ссылка - уникальная область памяти, в том числе не доступна на чтение по альтернативным именам). Тогда ты можешь изменяемую часть состояния записать как input + output параметры чистой функции
источник

CD

Constantine Drozdov in pro.cxx.holywars
Мне надо объяснять, какие плюшки даёт трансформация императивного кода в чисто функциональный?
источник

АК

Александр Караев... in pro.cxx.holywars
Constantine Drozdov
Мне надо объяснять, какие плюшки даёт трансформация императивного кода в чисто функциональный?
Нет, это в целом понятно
источник

CD

Constantine Drozdov in pro.cxx.holywars
Ну вот, они что-то похожее делают
источник

АК

Александр Караев... in pro.cxx.holywars
Constantine Drozdov
Смотри. Представь себе, что вся доступная тебе на запись память не алиасится (т.е. каждый доступная ссылка - уникальная область памяти, в том числе не доступна на чтение по альтернативным именам). Тогда ты можешь изменяемую часть состояния записать как input + output параметры чистой функции
А как вообще у них выглядит шаренный указатель на общую память с двух потоков?
источник

CD

Constantine Drozdov in pro.cxx.holywars
Я не разбирал в деталях язык, это к @zamazan4ik
источник

CD

Constantine Drozdov in pro.cxx.holywars
Я не знаю, как shared_ptr строить или как его избегать
источник

AZ

Alexander Zaitsev in pro.cxx.holywars
Constantine Drozdov
Я не разбирал в деталях язык, это к @zamazan4ik
Шо?
источник

CD

Constantine Drozdov in pro.cxx.holywars
Можно чистить функцию за счёт монадки (это очень похоже на IO)
источник

CD

Constantine Drozdov in pro.cxx.holywars
shared_ptr есть в Rust?
источник

АК

Александр Караев... in pro.cxx.holywars
Вот концепцию "1 ссылка на одну область памяти" я не могу представить в условиях нескольких потоков
источник

AZ

Alexander Zaitsev in pro.cxx.holywars
Constantine Drozdov
shared_ptr есть в Rust?
Есть
источник

CD

Constantine Drozdov in pro.cxx.holywars
В safe?
источник

CD

Constantine Drozdov in pro.cxx.holywars
Там через unsafe реализован?
источник

AZ

Alexander Zaitsev in pro.cxx.holywars
Да
источник

АК

Александр Караев... in pro.cxx.holywars
Там RefCounter какой-то
источник

AZ

Alexander Zaitsev in pro.cxx.holywars
Constantine Drozdov
Там через unsafe реализован?
Вроде как да
источник

CD

Constantine Drozdov in pro.cxx.holywars
Александр Караев
Там RefCounter какой-то
Нужны неконтролируемые лайфтаймы внутри
источник

AZ

Alexander Zaitsev in pro.cxx.holywars
Там просто проверку в рантайм переносят и всё
источник

AZ

Alexander Zaitsev in pro.cxx.holywars
Борров чекер замолкает
источник