Oℕ
На обычном стейт реф тоже не реализуешь
Size: a a a
2020 January 16
Oℕ
Стейт принципиально отличается от реф
SA
У меня подозрение, что если с этой монадой запустить параллельный код, то разломается синхронизация, например, modify перестанет быть атомарным.
Oℕ
Он не синхронизируется и в этом его суть, каждый тред владеет своим собственным стейтом, в отличие от рефов, которые не контролируют, сколько тредов имеют доступ к ним
Oℕ
У меня подозрение, что если с этой монадой запустить параллельный код, то разломается синхронизация, например, modify перестанет быть атомарным.
Модифай не перестанет быть атомарным как раз
Oℕ
Тут гарантии овнершипа стейта гораздо более сильные
SA
ааа, понял. get/set относится только к текущей цепочке монад
Oℕ
Чем у рефа
Oℕ
SA
не думал, что на Fiber.join можно не перетирать стейт, а как-то мерджить? может быть полезно для моков, например, которые кол-во вызовов считают или собирают аргументы.
Oℕ
думал
SA
банально требовать полугруппу от стейта
Oℕ
но это не того уровня поделка, чтобы прямо вот думать о чём то
SA
Если выпилить ридер и отмену, объединить входной и выходной стейт, может получиться что-то полезное...
Oℕ
щас бы ридер выпиливать
SA
ридер в этой монаде - это же оптимизация?
Oℕ
нет
Oℕ
это такой же ридер как R в ZIO
SA
т.е. если из монады убрать ридер и завернуть её в клейсли, получится не то же самое?
Oℕ
нет