AP
тохис!
Size: a a a
2021 May 03
DB
да!
AP
Но ведь и Reader — шаг в эту сторону! Даже этого шага порой достаточно, чтобы сильно снизить нагрузку на мозг
KV
Это один вид строительного блока для дслей с легальными операциями, да
KV
Но это как бы реализация, а не интерфейс
KV
Фримонады нужны для описания интерфейса
AP
Сразу кидаться в "свободное плавание" (хехе) я бы не стал. Сначала нужно на мелководье потренироваться — один слой монадок, второй. Когда научишься нырять глубоко, и поймёшь, что в глубине IO живут драконы. Вот тогда большей свободы захочется. Свободы от страха
KV
А потом окажется, что свободы всё равно не будет, потому что всё равно всё в ио
AP
Ты плаваешь с безопасном бассейне. Который плывёт по морю с IO-драконами. В основном тебе спокойно, но если вдруг волна — накрывает всё
AP
Опять же, лучше уж в стек монадок погружаться, чем dive into Python
KV
В бассейне, где плавают акулы с бензопилами
AP
unsafePutToeInIO
AP
Не, в свободном бассейне как раз только структурированная и заряженная вода. Вот черпают её дерзкие и отважные интерпретаторы. Черпают из моря IO с акулами-бензопильщицами
KV
Да. Черпают совочком пока не надоест, но потом очень быстро надоедает и все идут плавать к акулам
AP
Есть ещё freer divers. Эти вроде как и акулий репеллент запасли, и бассейн им вроде как не нужен отдельный. Вот только и у этих абстракции протекают прямо в скафандр
AS
Так можно же финальным безтеговым
KV
Да, кодировать фримонады можно и так
AS
Так это просто разное
KV
Нет