AV
хочу
MonadUnlift (без IO). Как жить?Написать самому
Size: a a a
2020 May 07
AV
Только лет 15 назад в магазине смотрел, когда не мог себе позволить!
На ну и не так давно, на работе на полке видел, но я не осилил
MK
Монад контрол вроде не завязан на ио?
R
Монад контрол вроде не завязан на ио?
я его боюсь
AV
А что вместо IO хочется?
AV
В monad control сложность в автоматических инстансах, если их убрать, то будет всё просто
AV
MonadBase которая в нём
R
А что вместо IO хочется?
Identity. Видимо просто Reader захардкожу и скажу, что кастомные врапперы поверх Reader не работаютAV
class MonadBase m b where
mkRunner :: m (forall a . m a -> b a)
AV
Инстансов придётся много писать, конечно
AV
Выше это если не надо состояниие мержить обратно
MK
> Мы тратим миллиарды человекочасов, чтобы пофиксить до нелепости смешные ошибки. Вы пишите код без багов? или у вас только умные баги? Да хрен там плавал. Если бы компилятор не проверял за вас, что вы закрыли фигурную скобку, поверьте мне, у нас были бы сотни багов с незакрытой скобкой.
MK
На хабре у кого-то пригорело
А
> Мы тратим миллиарды человекочасов, чтобы пофиксить до нелепости смешные ошибки. Вы пишите код без багов? или у вас только умные баги? Да хрен там плавал. Если бы компилятор не проверял за вас, что вы закрыли фигурную скобку, поверьте мне, у нас были бы сотни багов с незакрытой скобкой.
я в blah отвечу, чтоб не офтопить :)
AV
нет, конечно
AV
Гранулярность шедулера