MK
А что ты можешь на это ответить?
Size: a a a
2020 July 03
MK
I'm not too worried about the efficiency,
VZ
Что “isomorphic” это академики придумали
MK
После этого пост можно закрывать
VZ
А
() -> next придумал Гранин, и, будучи практиком, выиграл.MK
А
() -> next придумал Гранин, и, будучи практиком, выиграл.Ето ж окамлисты придумали
VZ
Ну у них ленивости нет — им надо
MK
Давай все-таки дадим автору высказаться!
VZ
Я пошутил просто. Надеюсь это не мешает автору высказаться.
MK
Похоже с уходом Вершилова его место затягивает в себя людей
MK
Баланс силы, так сказать
MK
Вообще я вот что хочу сказать
MK
Когерентность это прекрасно
MK
Но иногда хочется локальный инстанс подсунуть
С ФМ это легко, с фт не настолько
С ФМ это легко, с фт не настолько
MK
Хотя конечно есть рефлекшен
VZ
Вообще, последний раз когда я пытался что-то с эффектами придумать применительно к real world software, главная проблема, с которой я столкнулся — это то, что чистый код переходится переписывать в effectful-стиле чтобы получить стриминг
VZ
То есть хочется написать обработку данных каких-то, но их гигабайты, и они считываются из БД.
Надо вставлять что-то вроде conduit/pipes, а это free monad под капотом все равно.
Надо вставлять что-то вроде conduit/pipes, а это free monad под капотом все равно.
VZ
Второй вариант — это lazy IO. Он работает неплохо, но чтобы убедиться, что он будет весь выполнен вовремя, нужен NFData
VZ
А NFData, который в Хаскеле, имеет кошмарный инстанс для функций, ломающий все гарантии для данного юзкейса
VZ
Так что на данный момент я считаю, что лучшая система эффектов — это ее отсутствие (то есть просто transformers без всякого полиморфизма по монаде), но чтобы это делать в ИНДУСТРИАЛЬНОМ так сказать программировании, надо починить lazy IO