AS
Обычно считается, что функция с большим количеством аргументов "smells"
Size: a a a
2021 May 03
[
type ConfigReader a = ReaderT Config IO a
A
Ну у нас все функции в цепочке должны будут в сигнатуре иметь ConfigReader
[
Пусть имеют
A
Ну вот это и получается явное таскание контекста, только через типы
AS
Для бизнес-логики можно собрать жирную-жирную монаду, назвать APP и не париться
[
Серьёзно, я с другом рефакторили вчера код, добавляя ридерТ везде, он заметно чище стал
A
Ну по сути разница только в том, что чуть меньше писать на терм левеле, не надо явно передавать/получать контекст. На тайплевеле все остается таким-же.
[
И?
AS
Вот зачем нужны свободные монады я так и не разобрался
[
Главное достигнуто - мне писать меньше
AS
Завернуть все в StateT и писать процедурно на линзах
AS
Идеально
[
Да
DB
чтобы сначала их написать, а потом разбираться
AS
Если честно, я думаю что это просто костыль скалистов для чего то, чего им не хватает