СД
вообще я пока на хаскель смотрю с stm как на какой-то иной мир многопоточного/параллельного кода - мне кажется что в хаскеле нет вот этих блокировок (ну так пишут про stm) и там какая-то магия
Size: a a a
2020 March 24
СД
т.е. есть общепризнанные вещи в многопоточности, параллельности и такое впечатление что в хаскеле они либо отсутствуют, либо это какая-то монада над эндофунктором
СД
и совсем не то что везде
EG
то же про борровчекер и Pin/Unpin. Знали бы заранее - такого говна бы не было
В чём проблема борроучекера/смысл Rust без борроучекера?
AZ
вообще я пока на хаскель смотрю с stm как на какой-то иной мир многопоточного/параллельного кода - мне кажется что в хаскеле нет вот этих блокировок (ну так пишут про stm) и там какая-то магия
раст с его борровчекером и статическим управлением без гц и бесплатными мувами тоже кажется магией
AZ
собсна, достаточно сложная технология неотличима от магии (с)
AZ
Не знаю утверждения точнее этого
AZ
В чём проблема борроучекера/смысл Rust без борроучекера?
если &/&mut и селв боррова продумать заранее не было бы такого пиздеца
СД
раст с его борровчекером и статическим управлением без гц и бесплатными мувами тоже кажется магией
нет, раст понятен и понятно что за борроу чекер, понятен лайфтайм, ну т.е. концепция понятна и плюс/минус есть представление, а хаскель это какой-то black box
AZ
вроде где-то было хорошее обсуждение, но не факт что найду
AZ
нет, раст понятен и понятно что за борроу чекер, понятен лайфтайм, ну т.е. концепция понятна и плюс/минус есть представление, а хаскель это какой-то black box
ну почитай побольше, станет понятно)
а
раст с его борровчекером и статическим управлением без гц и бесплатными мувами тоже кажется магией
а ведь раньше о таком можно было только мечтать)
AZ
нужно понимать, что раст - это упрощенный хаскель подруженный с плюсами
AZ
понятно что он привычнее
EG
Rust это больше плюсы, чем хаскелль, всё же
EG
Особенно если брать современные плюсы
EG
А «функциональные» части он наследует от OCaml, а не от Haskell
СД
Rust это больше плюсы, чем хаскелль, всё же
кстати я топил тут недавно за то, что раст даже совсем не скала и плакал что это не так
p
я только что понял что я хочу иметь вектор ссылок и в определенные моменты времени чтобы они были мутабельные, а в другие моменты иммутабельными. Эх...
СД
ну почитай побольше, станет понятно)
да читаю, да надо книжку, статьи какие-то такие: общей картиры не дают, не то что java concurency on practice, когда почитал и у тебя джавушка улеглась в картинку мира