АГ
doAffRR видел, речь про него?
Да
Size: a a a
2020 July 02
YS
Ну ладно (
YS
Тогда у меня нет доводов
AV
Ну в общем случае - нет, в конкретном можно
AV
Это открытый вопрос к тому, что правильного решения для общего случая нет
AV
А discuss - то, что по факту код использующий MonadIO, оказывается более стабильным, разделяемым, отвечающим принципам Solid и тестириуемым, чем умные решения
AV
Для примера можно посмотреть программу метеор в hydra, где в каждой строке есть проблема
AV
В каждой!
YS
Проблема что нет MonadIO?)
AV
Нет 🙂
AV
Не мешай моему вбросу
YS
Ладно (
AV
Основной мой поинт в том, что программа с MonadIO не становится автоматически хуже, менее тестируемой, хуже сопроводжаемой и развиваемой, по сравнению с программой, где всё разбито на более гранулярные части и связано через Free/Effects структуру, просто потому, что там есть MonadIO. Обратное тоже не верно: программа с MonadIO не становится лучше.
AV
Мой не основной поинт (и вброс) в том, что по факту на текущий момент многие из программ написанных с MonadIO оказываются более тестируемыми, сопровождаемыми и эффективными по сравнению с программами написанными с более гранулярными библиотеками.
YS
У меня оч гранулярно(
AV
Мой совсем мелкий поинт в том, что в метеоре проблема в каждой строке, я вот всё думаю написать про это блог пост, но кажется это будет некрасиво и плохо, да и не совсем честно.
AV
Мой не основной поинт (и вброс) в том, что по факту на текущий момент многие из программ написанных с MonadIO оказываются более тестируемыми, сопровождаемыми и эффективными по сравнению с программами написанными с более гранулярными библиотеками.
Но тут проблема отчасти в том, что так начали писать не очень давно, и это исследовательское направление. Дойдёт до индустрии ситуация может и поменяться или найдётся консенсус.
AV
Сейчас, кажется, это направление активно (как основной инструмент написания программы) исследуется github (fused-effects), hasura (eff, я не знаю, что у них используется сейчас), juspay (кажется там код ещё не в production).
AV
Как не-основной инструмент, а именно для написания внутренних dsl, особенно реинтерпретируемых инструмент используется давно и многими и кажется достаточно успешно.
AV
У меня оч гранулярно(