YS
Можно очень хорошо сочетать ReaderT IO и FT непротекающий)
Кстати, не об этом писали в three layer cake?
Size: a a a
2020 May 10
LO
HFM seems like the worst effect management system of all commonly-touted ones. You get some convenient testing, but at the cost of a ton of boilerplate, unextensibility, and confusing hierarchical indirection
АГ
Я видел коммент, да
АГ
Ну потому что это не effect management system
АГ
Это обычный почти что IoC фреймворк, какие в мейнстриме крайне распространены
АГ
Ну точнее, основа для него
LO
Это не Х, это Х но другими словами
АГ
Как раз хаскеллисты и придумывают "другие слова". Во всем остальном мире это не так называется, как они думают
Oℕ
Как раз хаскеллисты и придумывают "другие слова". Во всем остальном мире это не так называется, как они думают
Какие другие?
АГ
Какие другие?
Ну вот те же системы эффектов. Скажи это плюсовикам, джавистам, гошникам, рубистам, питонистам, даже значительной части скалистов. Они не поймут
АГ
Я впервые когда услышал "системы эффектов", тоже сидел и думал, о чем речь вообще
NV
а что такое система эффектов?
АГ
Вообще, тема интересная. Я уже не раз утверждал, что термин "Expression Problem" в ходу только среди хаскеллистов (ну и может быть еще пары человек из других сообществ). Во всем остальном мире про него не знают ничего
LO
Я уже много раз слышал про di и ioc, и всё ещё не понимаю что это
Oℕ
Ну вот те же системы эффектов. Скажи это плюсовикам, джавистам, гошникам, рубистам, питонистам, даже значительной части скалистов. Они не поймут
Это логично
NV
В чём проблема того, что разговаривая на одном языке ты не владеешь концептами из других языков?
АГ
а что такое система эффектов?
Это хаскеллисты называют ситуацию, когда у тебя есть декларация на уровне типов, какие побочные эффекты твоя функция может выполнять. Есть один большой грубый эффект - IO, но хаскеллистам этого мало, они пошли его делить на Database, Logger, HTTP, называть это эффектами (хотя остальной мир называет это подсистемами), и складывать эти эффекты в какой-нибудь тайп левельный список
Oℕ
На самом деле есть достаточное количество питонистов, рубистов плюсовиков и т.п., разбирающихся в CS и TT лучше большинства хаскелистов тут, так что обобщение некорректное
АГ
В чём проблема того, что разговаривая на одном языке ты не владеешь концептами из других языков?
Проблема в том, что затруднена коммуникация. Хаскеллисты предлагают подстраиваться под них, а не пытаются взаимодействовать с внешним миром и, возможно, подстроиться под него (с потерей математической точности в отдельных моментах). Эта изоляция очень мешает распространению Хаскеля
Oℕ
Но если в других ЯП не хотят использовать какие-то современные (1995й) теоретические изыскания - это не значит, что хаскелисты не должны