Oℕ
Инстанс конкарента для типа, который в общем предоставляет индексированный стейт я могу показать
Size: a a a
2020 January 16
Oℕ
Но совершенно очевидно, что внутри любого инстанса стейт обязан быть мономорфным
SA
что такое MIO?
Oℕ
тип данных, объявленный в этом же файле вверху
Oℕ
Требует контекст R
Oℕ
Принимает состояние SI
Oℕ
Отдаёт состояние SO
Oℕ
Возможна отмена с помощью токена С
Oℕ
Генерирует ошибку E
Oℕ
Возвращает результат А
Oℕ
9 месяцев назад написан в качестве этюда, 0 попыток реально использовать это
SA
оно вообще работает?)
Oℕ
оно вообще работает?)
неизвестно
SA
но идея ясна - действительно, в случае raсePair элементарно отдаем "какой-нибудь" стейт.
SA
про 0 попыток понятно - без твоих пояснений это нечитаемое мессиво, а не монада со стейтом
Oℕ
ну там вообще структурно State - это не функция S => S
Oℕ
А пара конструкторов Get и Put, поэтому семантически вполне можно предполагать, что стейт ветвится и перезаписывается из файбера
SA
если так, то Get/Put недостаточно, ты же на них Ref не реализуешь. Нужен какой-то примитив синхронизации, так же?
Oℕ
Ты спрашивал про стейт, а не про реф